Axiomatic set theory - Takeuti, Gaisi, 1926-; Zaring, Wilson M. (Heidelberg Berlin New York : Springer-Verlag, 1972)