Mots-clés – Auteurs

logique constructive

Il y a 7 résultats pour cette recherche

2017 Repères-IREM. N° 107.
Auteur : Repères-IREM Comité de rédaction. Dir.
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.
Auteurs : Lombardi Henri ; Neuwirth Stefan
2011 Epistémologie mathématique.
Auteur : Lombardi Henri
1990 L’identité en mathématiques constructives.
Auteur : Dalen Dirk van
1982 Penser les mathématiques.
Auteurs : Guénard François. Ed. ; Lelièvre Gilbert. Ed. ; Dieudonné Jean. Dir. ; Loi Maurice. Dir. ; Thom René. Dir.
1982 Penser les mathématiques. Mathématique constructive. p. 58-72.
Auteur : Apéry Roger
1980 Mathématique constructive.
Auteur : Apéry Roger