Axiomatic set theory - Takeuti, G. (Graduate texts in Mathematics^P R Halmos, 1973)