Jean-louis krivine
- Jean-louis krivine
-
Jean-Louis Krivine
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, Amsterdam (1967).[2]
- Théorie axiomatique des ensembles, Presses universitaires de France, Paris (1972).
- Lambda-calcul, types et modèles. Masson, Paris (1990).
- Lambda-calculus, types and models. Ellis Horwood (1993).[3]
- Théorie des ensembles. Cassini, Paris (1998), 2ème édition (2007).
Liens externes
- Portail de la logique
- Portail des mathématiques
- Portail de l’informatique
Catégories : Logicien | Mathématicien français | Personnalité en informatique théorique | Personnalité française en informatique | Théorie des types | Théorie de la démonstration
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 — 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… … 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