Reflections on Formalism and Reductionism in Logic and Computer Science
Séminaire de Philosophie et Mathématiques, Les irrationalités de la logique, no. 2 (1993), article no. 1, 9 p.
Voir la notice de l'acte provenant de la source Numdam
@article{SPHM_1993___2_A1_0,
author = {Longo, Giuseppe},
title = {Reflections on {Formalism} and {Reductionism} in {Logic} and {Computer} {Science}},
journal = {S\'eminaire de Philosophie et Math\'ematiques},
eid = {1},
pages = {1--9},
publisher = {IREM Paris-Nord},
number = {2},
year = {1993},
language = {en},
url = {http://geodesic.mathdoc.fr/item/SPHM_1993___2_A1_0/}
}
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://geodesic.mathdoc.fr/item/SPHM_1993___2_A1_0/ LA - en ID - SPHM_1993___2_A1_0 ER -
Longo, Giuseppe. Reflections on Formalism and Reductionism in Logic and Computer Science. Séminaire de Philosophie et Mathématiques, Les irrationalités de la logique, no. 2 (1993), article no. 1, 9 p.. http://geodesic.mathdoc.fr/item/SPHM_1993___2_A1_0/