Accueil Publimath  Aide à la recherche  Requête : auteur="Krivine Jean-Louis"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
6 fiches trouvées

12014 Vidéo de l'IREM de Paris - Conférences. A propos de la théorie des démonstrations (du programme de Hilbert aux programmes tout court).Ressource en ligne
22004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
32003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
41998 Quadrature. N° 33. p. 9-15. Ensembles et preuves.
51993 Logique mathématique. T. 1.
61993 Sciences Sup. Logique mathématique. V. 2.