Jean-Louis Krivine

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Krivine.

Jean-Louis Krivine (1939,-) est un mathématicien français spécialisé en logique mathématique. Il est ancien élève de l'École normale supérieure (rue d'Ulm)-(promotion 1957), agrégé de mathématiques (1960), docteur d'État en mathématiques (1967), professeur des universités (professeur émérite à l'Université Paris Diderot), membre associé du laboratoire Preuves, Programmes et Systèmes.

Bibliographie (ouvrages)[modifier | modifier le code]

  • Éléments de logique mathématique (théorie des modèles) (avec Georg Kreisel), Dunod, Paris, 1966[1] ; traduction anglaise : Elements of mathematical logic (model theory), North Holland, Amsterdam, 1967[2].
  • Théorie axiomatique des ensembles, Presses universitaires de France, Paris, 1972.
  • Lambda-calcul, types et modèles. Masson, Paris, 1990 ; traduction anglaise : Lambda-calculus, types and models. Ellis Horwood, 1993[3].
  • Théorie des ensembles, Cassini, Paris, 1998 ; 2e édition, 2007.

Liens externes[modifier | modifier le code]

Références[modifier | modifier le code]