Publication details
Year: 2003
Pages: 85-117
Series: Synthese
Full citation:
, "Proofs and programs", Synthese 134, 2003, pp. 85-117.
Proofs and programs
pp. 85-117
in: Carlos Álvarez, Marco Panza (eds), Logic and mathematical reasoning, Synthese 134, 2003.Publication details
Year: 2003
Pages: 85-117
Series: Synthese
Full citation:
, "Proofs and programs", Synthese 134, 2003, pp. 85-117.