Accueil Publimath  Aide à la recherche  Requête : "problème de l'arrêt"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
6 fiches trouvées

12012 Quadrature. Num. 86. p. 17-28. Initiation à la calculabilité.
22007 Les métamorphoses du calcul.
32005 Bibliothèque Tangente. N° 10. La logique moderne : de Boole à Gödel. p. 46-51.
42005 Bibliothèque Tangente. N° 10. Mille ans d'histoire des mathématiques.
52000 Tangente Hors-série. N° 10. Mille ans d'histoire des mathématiques.
62000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.