TY  - BOOK
AU  - Prawitz, Dag
TI  - Natural deduction : a proof-theoretical study
SN  - 9780486446554
SN  - 200505196
U1  - 162 PRA 
PY  - 2006///
CY  - Mineola, NY
PB  - Dover Publications
KW  - Gentzen, Gerhard
KW  - Logic
KW  - Logic, Symbolic and mathematical
KW  - Modality (Logic)
N1  - Originally published: Stockholm : Almqvist & Wiksell, 1965. Includes bibliographical references (p. [106]-109) and indexes
ER  -