Introduction to axiomatic set theory - Takeuti, Gaisi; Zaring, Wilson M (Graduate Texts in Mathematics, 1, 1971)