%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 http://archive.numdam.org/item/SPHM_1996___6_A1_0/
%G fr
%F SPHM_1996___6_A1_0