Natural deduction
Subtitle: a proof-theoretical study
By: Dag Prawitz.
Publisher: Dover Publications
Published: 2006
Place of publication: Mineola, NY
Language: eng
Number of pages: 128
Subjects: Gentzen, Gerhard.; Logic.; Logic, Symbolic and mathematical.; Modality (Logic)
Notes: Includes bibliographical references and index.
Originally published: Stockholm : Almqvist & Wiksell, 1965.