Aide à la recherche
Requête :
"preuve logique"
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
2 fiches trouvées
1
2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.
2
1998 Quadrature. N° 33. p. 9-15. Ensembles et preuves.