Shelfclass_id | 4.B.3 |
Sortkey | PRAWITZ, DAG |
Authors | Dag Prawitz |
Title | Natural Deduction: A Proof-Theoretical Study |
Publisher | Dover Publications |
Edition | Dover ed |
Year | 2006 |
Languages | eng |
Isbn | 0486446557, 9780486446554 |
Series | Dover books on mathematics |
Description | (pbk.) viii, 113 p. ill. 22 cm |
Record date | 20060713 |
Location | Mineola, N.Y. |
Keywords | Logic, Logic, Symbolic and mathematical, Modality (Logic) |
Notes | Originally published: Stockholm: Almqvist & Wiksell, 1965 |