Jean-Louis Krivine
Biographie de Jean-Louis Krivine
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.
Livres de Jean-Louis Krivine
Auteur : Jean-Louis Krivine
Éditeur : Calvage et Mounet
Date de parution : 11/07/2024
Expédié sous 24h
Disponible en magasin
Retrait en librairie dès le 11/11
Papier
15,00 €
Auteur : Jean-Louis Krivine
Éditeur : Cassini
Date de parution : 17/08/2007
Expédié sous 24h
Disponible en magasin
Retrait en librairie dès le 11/11
Papier
40,00 €
Auteur : Jean-Louis Krivine
Éditeur : Cassini
Date de parution : 01/06/1998
Indisponible définitivement
Auteur : Jean-Louis Krivine
Éditeur : Elsevier-Masson
Date de parution : 10/04/1990
Indisponible