TY  - JOUR
AU  - Merker, Joël
TI  - L'ontologie explicite des théorèmes d'existence en mathématiques
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1996
SP  - 1
EP  - 67
IS  - 6
PB  - École Normale Supérieure
UR  - http://archive.numdam.org/item/SPHM_1996___6_A1_0/
LA  - fr
ID  - SPHM_1996___6_A1_0
ER  -