Accueil Publimath  Aide à la recherche  Requête : "logique constructive"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
8 fiches trouvées

12017 Repères-IREM, N°107. p. 45-66. Roger Apéry, l'humour au service d'une pensée libre et originale sur les mathématiques constructives.Ressource en ligne
22015 Bibliothèque Tangente. N° 55. Cela existe, je l'ai démontré ! p. 18-22.
32015 Tangente Hors-série. N° 55. p. 6-8. Cela existe, je l'ai démontré !
42011 Epistémologie mathématique.
51990 L'identité en mathématiques constructives.
61982 Penser les mathématiques.
71982 Penser les mathématiques. Mathématique constructive. p. 58-72.Ressource en ligne
81980 Mathématique constructive.Ressource en ligne