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. Num. 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.