J. L. Krivine
J. L. Krivine
4 featured booksJ. L. Krivine
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL2051357A
Overview
Catalog identity and bibliographic footprint for this author.
4 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryLT
Lambda-Calculus, Types and Models
cover - Image source: Open LibraryIT
Introduction to axiomatic set theory
cover - TAThéorie axiomatique des ensemb...J. L. Krivine
Théorie axiomatique des ensembles ..
no cover - EOElements of Mathematical LogicJ. L. Krivine
Elements of Mathematical Logic
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.