Aide à la recherche   Requête : "problème de l'arrêt"

1	2012 Quadrature. N° 86. p. 17-28. Initiation à la calculabilité.
2	2007 Les métamorphoses du calcul.
3	2005 Bibliothèque Tangente. N° 10. La logique moderne : de Boole à Gödel. p. 46-51.
4	2005 Bibliothèque Tangente. N° 10. Mille ans d'histoire des mathématiques.
5	2000 Tangente Hors-série. N° 10. Mille ans d'histoire des mathématiques.
6	2000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.