Accueil Publimath  Aide à la recherche  Requête : "arithmétique de Peano"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
13 fiches trouvées

12015 Bulletin de l'APMEP. Num. 513. p. 211-226. La récursivité ou l'algorithme sans boucles.Ressource en ligne
22015 La logique pas à pas.
32013 Bulletin de l'APMEP. Num. 506. p. 600-610. La récurrence au fil des siècles.Ressource en ligne
42013 Bulletin de l'APMEP. Num. 502. p. 89-95. Remarques sur les suites de Goodstein.Ressource en ligne
52011 Bulletin de l'APMEP. Num. 492. p. 79-87. Les jeux diophantiens.Ressource en ligne
62011 TOUT.
72003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
82003 Repères-IREM. Num. 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.Ressource en ligne
92001 Fondements des mathématiques. T. 2.
101994 Mathématiques constructives.Ressource en ligne
111994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.Ressource en ligne
121986 Apports de l'informatique en arithmétique.
131971 Eléments de logique pour servir à l'enseignement mathématique.