Axiomatic set theory - Takeuti, Gaisi 1926- (Springer-Verlag, 1973)