Repository | Journal | Volume | Article
Proofs and programs
pp. 85-117
Publication details
Published in:
Alvarez Carlos, Panza Marco (2003) Logic and mathematical reasoning. Synthese 134 (1-2).
Pages: 85-117
Full citation:
Longo Giuseppe (2003) „Proofs and programs“. Synthese 134 (1-2), 85–117.