GEODESIC
Revues
Séminaires
Livres
Congrès
Sources
Séminaire de Philosophie et Mathématiques
Année 1996
no. 6
L'ontologie explicite des théorèmes d'existence en mathématiques
Loi Maurice
;
Cartier Pierre
;
Sinaceur Hourya
;
Andler Martin
(éd.)
Sommaire
L'ontologie explicite des théorèmes d'existence en mathématiques
Merker, Joël
p. 1-67
