Voir la notice de l'acte provenant de la source Numdam
@article{SPHM_1990___2_A1_0, author = {Jacob, A.}, title = {Morale et formalisation}, journal = {S\'eminaire de Philosophie et Math\'ematiques}, pages = {1--20}, publisher = {IREM Paris-Nord}, number = {2}, year = {1990}, language = {fr}, url = {http://geodesic.mathdoc.fr/item/SPHM_1990___2_A1_0/} }
Jacob, A. Morale et formalisation. Séminaire de Philosophie et Mathématiques, Morale et formalisation, no. 2 (1990), pp. 1-20. http://geodesic.mathdoc.fr/item/SPHM_1990___2_A1_0/