Zeitschrift | Band | Artikel
Proofs and programs
pp. 85-117
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 374
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.