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.