L'ontologie explicite des théorèmes d'existence en mathématiques
Séminaire de Philosophie et Mathématiques, L'ontologie explicite des théorèmes d'existence en mathématiques, no. 6 (1996), pp. 1-67.

Voir la notice de l'acte dans Numdam

@article{SPHM_1996___6_A1_0,
     author = {Merker, Jo\"el},
     title = {L'ontologie explicite des th\'eor\`emes d'existence en math\'ematiques},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     pages = {1--67},
     publisher = {\'Ecole Normale Sup\'erieure},
     number = {6},
     year = {1996},
     language = {fr},
     url = {https://geodesic-test.mathdoc.fr/item/SPHM_1996___6_A1_0/}
}
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  - https://geodesic-test.mathdoc.fr/item/SPHM_1996___6_A1_0/
LA  - fr
ID  - SPHM_1996___6_A1_0
ER  - 
%0 Journal Article
%A Merker, Joël
%T L'ontologie explicite des théorèmes d'existence en mathématiques
%J Séminaire de Philosophie et Mathématiques
%D 1996
%P 1-67
%N 6
%I École Normale Supérieure
%U https://geodesic-test.mathdoc.fr/item/SPHM_1996___6_A1_0/
%G fr
%F SPHM_1996___6_A1_0
Merker, Joël. L'ontologie explicite des théorèmes d'existence en mathématiques. Séminaire de Philosophie et Mathématiques, L'ontologie explicite des théorèmes d'existence en mathématiques, no. 6 (1996), pp. 1-67. https://geodesic-test.mathdoc.fr/item/SPHM_1996___6_A1_0/