%0 Journal Article
%A Jacob, A.
%T Morale et formalisation
%J Séminaire de Philosophie et Mathématiques
%D 1990
%P 1-20
%N 2
%I IREM Paris-Nord
%U http://www.numdam.org/item/SPHM_1990___2_A1_0/
%G fr
%F SPHM_1990___2_A1_0