Natural Deduction: A Proof-Theoretical Study

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:book
gptkbp:author gptkb:Dag_Prawitz
https://www.w3.org/2000/01/rdf-schema#label Natural Deduction: A Proof-Theoretical Study
gptkbp:influenced modern proof theory
gptkbp:ISBN 978-0486458758
gptkbp:language English
gptkbp:notableFor introduction of normalization theorem for natural deduction
gptkbp:publicationYear 1965
gptkbp:publisher gptkb:Almqvist_&_Wiksell
gptkbp:subject proof theory
natural deduction
gptkbp:bfsParent gptkb:Dag_Prawitz
gptkbp:bfsLayer 7