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

dans Afficher les fiches par  
7 fiches trouvées

12003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
21995 La machine de Turing.
31995 La machine de Turing.
41991 La logique linéaire.
51990 Pour la Science. N° 150. p. 74-85. La logique linéaire.
61989 Le théorème de Gödel.
71980 Les démonstrations de cohérence de l'arithmétique.