logique constructive

Il y a 7 résultats avec cette recherche.

2011 Epistémologie mathématique.

Auteur : Lombardi Henri
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
1982 Penser les mathématiques.

Auteurs : Guénard François. Ed. ; Lelièvre Gilbert. Ed. ; Dieudonné Jean. Dir. ; Loi Maurice. Dir. ; Thom René. Dir.
1980 Mathématique constructive.

Auteur : Apéry Roger
1982 Penser les mathématiques. Mathématique constructive. p. 58-72.

Auteur : Apéry Roger
1990 L’identité en mathématiques constructives.

Auteur : Dalen Dirk van