Introduction to Axiomatic Set Theory - Krivine, J. L. (Jean Louis) (Synthese library, 1971)