@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://www.numdam.org/item/SPHM_1993___2_A1_0/}
}