Natural Deduction, The Logical Basis of Axiom Systems
Read a fragment
Instant download
after payment (24/7)
Wide range of formats
(for all gadgets)
Full book
(including for Apple and Android)
This book is based upon Gentzen's techniques of natural deduction. Thepropositional and quantificational rules on which the exposition pivots arestated essentially as Gentzen stated them, and even the names used for themare free translations of his names. Gentzen's techniques constitute a verynatural approach to the study of the proofs occurring in axiom systems as wellas a sound basis for the analysis of the properties of formal systems as such.
LF/121144/R
Data sheet
- Name of the Author
- H.
J.
Johnstone
Mueller Anderson - Language
- English
- Release date
- 1962
![[Alabama Summer 01] • All I...](https://lionbook.net/1434053-thickbox_default/-alabama-summer-01-all-i-want.jpg)
![[Frigid 01] • Frigid](https://lionbook.net/1548564-thickbox_default/-frigid-01-frigid.jpg)
![[The Virgin 01] • Redemption](https://lionbook.net/1670684-thickbox_default/-the-virgin-01-redemption.jpg)
