Aide à la recherche   Requête : Krivine Jean-Louis

1	2014 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).
2	2004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
3	2003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
4	1998 Quadrature. N° 33. p. 9-15. Ensembles et preuves.
5	1993 Logique mathématique. T. 1.
6	1993 Sciences Sup. Logique mathématique. V. 2.