Author

J. L. Krivine

5 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

5 books
Elements of Mathematical Logic

Elements of Mathematical Logic

Year unknown G. Kreisel, J. L. Krivine, A. Heyting, A. Robinson, and P. Suppes
Introduction to axiomatic set theory

Introduction to axiomatic set theory

Year unknown
Lambda-Calculus, Types and Models

Lambda-Calculus, Types and Models

Year unknown
Sous-espaces et cônes convexes da...

Sous-espaces et cônes convexes dans les espaces Lp

Year unknown
Théorie axiomatique des ensemble...

Théorie axiomatique des ensembles ..

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.