Aide à la recherche   Requête : "logique constructive"

1	2017 Repères-IREM. N° 107.
2	2017 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.
3	2015 Bibliothèque Tangente. N° 55. Cela existe, je l'ai démontré ! p. 18-22.
4	2015 Tangente Hors-série. N° 55. p. 6-8. Cela existe, je l'ai démontré !
5	2011 Epistémologie mathématique.
6	1990 L'identité en mathématiques constructives.
7	1982 Penser les mathématiques.
8	1982 Penser les mathématiques. Mathématique constructive. p. 58-72.
9	1980 Mathématique constructive.