TY  - JOUR
AU  - Longo, Giuseppe
TI  - Reflections on Formalism and Reductionism in Logic and Computer Science
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1993
SP  - 1
EP  - 9
IS  - 2
PB  - IREM Paris-Nord
UR  - http://www.numdam.org/item/SPHM_1993___2_A1_0/
LA  - en
ID  - SPHM_1993___2_A1_0
ER  -