J. L. Krivine

• Introduction to axiomatic set theory
• Lambda-Calculus, Types and Models
• Elements of Mathematical Logic
• Sous-espaces et cônes convexes dans les espaces Lp
• Théorie axiomatique des ensembles ..