Girard Jean-Yves
-
2003 Leçons de mathématiques d’aujourd’hui. Vol. 2.
Auteurs : Godefroy Gilles ; Girard Jean-Yves ; Tenenbaum Gérald ; Morain François ; Waldschmidt Michel ; David Guy ; Bardos Claude ; Karoubi Max ; Fontaine Jean-Marc ; Hindry Marc ; Raynaud Michel ; Keane Michael ; Charpentier Eric. Dir. ; Nikolski Nicolaï Kapitonovitch. Dir. ; Habsieger Laurent. Dir.
-
1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
-
1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
-
1991 La logique linéaire.
Auteur : Girard Jean-Yves
-
1989 Le théorème de Gödel.
Auteurs : Gödel Kurt ; Nagel Ernest ; Newman James R. ; Girard Jean-Yves