×
Please click
here
if you are not redirected within a few seconds.
All
Maps
Images
News
Videos
Shopping
Books
Search tools
Any time
Any time
Past hour
Past 24 hours
Past week
Past month
Past year
All results
All results
Verbatim
J.L. Krivine
French mathematician ·
irif.fr
Books
:
Lambda-calculus, Types and Models
and
Introduction to Axiomatic Set Theory
Research interests
:
Logique, Théorie Des Ensembles, Lambda-Calcul, and
more
