Introduction to axiomatic set theory - Takeuti, G. (New York Springer, 1971)