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

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