Takeuti, G. ; Zaring, W. Introduction to Axiomatic Set Theory G. ; Zaring, W. Takeuti - Berlin-Heidelberg-New York Springer 1971