Un article de Wikipédia, l'encyclopédie libre.

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).
• Lambda-calcul, types et modèles. Masson, Paris (1990).
• Lambda-calculus, types and models. Ellis Horwood (1993).
• Théorie des ensembles. Cassini, Paris (1998).

[] Lien externes

• page web constituée d'articles de Jean-Louis Krivine
• Laboratoire Preuves Programmes et Systèmes

• Portail de la logique
• Portail des mathématiques
• Portail de l?informatique

 

Réagissez

Commentez l'encyclopédie:
Attention! tous les commentaites inaproprié seront supprimés

Titre:
Video YouTube ou google:	(doit être en rapport avec le sujet)
Votre mail:	(ne sera pas affiché sur le site)
Un pseudo:
Votre site:
Commentaire	(le html n'est pas autorisé, nombre de caractère maximum = 400)
	(Comment eBabylone 1.0 beta)

Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/Jean-Louis Krivine