TY - BOOK AU - Prawitz, Dag TI - Natural deduction: a proof-theoretical study U1 - 162 PY - 1965/// CY - Stockholm PB - Almqvist & Wiksell KW - Philosophy ER -