Aide à la recherche
Requête :
Girard Jean-Yves
Chercher
tous les mots
l'expression
au moins un mot
dans
les fiches
la liste des mots-clés
la liste des auteurs
les notices du glossaire
Afficher les fiches par
20
50
100
7 fiches trouvées
1
2003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
2
1995 La machine de Turing.
3
1995 La machine de Turing.
4
1991 La logique linéaire.
5
1990 Pour la Science. N° 150. p. 74-85. La logique linéaire.
6
1989 Le théorème de Gödel.
7
1980 Les démonstrations de cohérence de l'arithmétique.