Natural Deduction: A Proof-Theoretical Study

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