J
J. L. Krivine
5 works on record
Works

Lambda-Calculus, Types and Models

Introduction to axiomatic set theory
Elements of Mathematical Logic
Elements of Mathematical Logic
Sous-espaces et cônes convexes dans les espaces Lp
Sous-espaces et cônes convexes dans les espaces Lp
Théorie axiomatique des ensembles ..
Théorie axiomatique des ensembles ..