Central and East European
Society for Phenomenology

Repository | Journal | Volume | Article

237251

Proofs and programs

Giuseppe Longo

pp. 85-117

Publication details

Published in:

Alvarez Carlos, Panza Marco (2003) Logic and mathematical reasoning. Synthese 134 (1-2).

Pages: 85-117

DOI: 10.1023/A:1022135614184

Full citation:

Longo Giuseppe (2003) „Proofs and programs“. Synthese 134 (1-2), 85–117.