by J. L. Krivine
No reviews yet. Be the first!
Introduction to axiomatic set theory
Théorie axiomatique des ensembles ..
Lambda-Calculus, Types and Models
Elements of Mathematical Logic