Zeitschrift | Band | Artikel
Length and structure of proofs
pp. 41-48
Publication details
Published in:
(1998) Synthese 114 (1).
Seiten: 41-48
Referenz:
Parikh Rohit (1998) „Length and structure of proofs“. Synthese 114 (1), 41–48.
Zeitschrift | Band | Artikel
pp. 41-48
Published in:
(1998) Synthese 114 (1).
Seiten: 41-48
Referenz:
Parikh Rohit (1998) „Length and structure of proofs“. Synthese 114 (1), 41–48.