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 de la logique
  • Portail des mathématiques Portail des mathématiques
  • Portail de l’informatique Portail de l’informatique
Ce document provient de « Jean-Louis Krivine ».

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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”