Introduction to Axiomatic Set Theory (1973)

by J L Krivine