Axiomatic set theory - Takeuti, Gaisi; Zaring, Wilson M (Graduate Texts in Mathematics, 8, 1973)