Prawitz, Dag, Natural deduction : a proof-theoretical study / Dag Prawitz. - viii, 113 páginas : ilustraciones. . ISBN: 0486446557 Subjects--Topical Terms: LOGICA.LOGICA SIMBOLICA. Dewey Class. No.: 162