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

dans Afficher les fiches par  
5 fiches trouvées

12004 Bibliothèque Tangente. Num. 15. La correspondance de Curry-Howard. p. 80-95.
22003 Tangente Hors-série. Num. 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
31998 Quadrature. Num. 33. p. 9-15. Ensembles et preuves.
41993 Logique mathématique. T. 1.
51993 Sciences Sup. Logique mathématique. V. 2.