G. Takeuti

• Introduction to Axiomatic Set Theory
• Axiomatic Set Theory
• Logic Symposia, Hakone, 1979 1980