Proofs and programs

pp. 85-117

Publication details

Published in:

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

Seiten: 85-117

Referenz:

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