logique mathématique Tome 2 ; fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles

Jean-Louis Krivine est professeur à l'Université Paris 7, spécialiste de géométrie algébrique réelle, d'analyse fonctionnelle, de logique et d'informatique théorique. Il a créé, en 1982, l'équipe de logique mathématique, qui est l'un des plus importants laboratoires au monde dans ce domaine. Lauréat de l'Académie des Sciences en 1994 et Prix du Rayonnement français en 2004, il est l'auteur de plusieurs ouvrages de référence en logique.