Jean-Louis Krivine
- Jean-Louis Krivine
-
Pour les articles homonymes, voir
Krivine.
Jean-Louis Krivine est un mathématicien français contemporain 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)
- É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
Références
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Jean-Louis Krivine de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Jean-louis krivine — est un logicien français contemporain. Bibliographie (ouvrages) Éléments de logique mathématique (théorie des modèles) (avec Georg Kreisel). Dunod, Paris (1966).[1] Elements of mathematical logic (model theory) (with Georg Kreisel). North Holland … Wikipédia en Français
Jean-louis florentz — (1947 2004) Jean Louis Florentz (* Asnières sur Seine, le 19 décembre 1947 † Paris, le 4 juillet 2004) est un compositeur français. Sommaire … Wikipédia en Français
Jean-Louis Florentz — (1947 2004) Jean Louis Florentz (* Asnières sur Seine, le 19 décembre 1947 † Paris, le 4 juillet 2004) est un compositeur français. Sommaire 1 … Wikipédia en Français
Krivine — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Krivine est le nom de famille de (par ordre alphabétique) : Alain Krivine, trotskyste français, né en 1941 ; Emmanuel Krivine, chef d orchestre… … Wikipédia en Français
Jean-pierre cassel — Pour les articles homonymes, voir Cassel. Jean Pierre Cassel Nom de naissance Jean Pierre Crochon Naissance 27 octobre 1932 Paris, France Nationalité(s) … Wikipédia en Français
Jean-François Gardeil — est un baryton et metteur en scène français. Il est aussi le fondateur et directeur artistique des Chants de Garonne. JF Gardeil Sommaire … Wikipédia en Français
Jean-Pierre Cassel — Pour les articles homonymes, voir Cassel. Jean Pierre Cassel … Wikipédia en Français
Jean-marc thibault — Charlan, Jean Marc Thibault, René Arrieu et Lucien Nat dans Cristobal au théâtre Montparnasse, mai 1943 … Wikipédia en Français
Jean-François Heisser — est un pianiste français né à Saint Étienne en 1950. Sommaire 1 Biographie 2 Prix 3 Enregistrements 4 Liens externes … Wikipédia en Français
Jean-Patrice Brosse — Pour les articles homonymes, voir brosse. Jean Patrice Brosse, né le 23 juin 1950, est un claveciniste et organiste français. Sommaire 1 Biographie 2 … Wikipédia en Français
