Liste fiches - Publimath

problème de l'arrêt

Il y a 4 résultats pour cette recherche

2012 Quadrature. N° 86. p. 17-28. Initiation à la calculabilité.
Auteur : Monniaux David
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
2005 Bibliothèque Tangente. N° 10. La logique moderne : de Boole à Gödel. p. 46-51.
Auteur : Casiro Francis
2000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.
Auteur : Casiro Francis