ENGLISH

Natural Deduction, The Logical Basis of Axiom Systems

By J. , H. , Johnstone , Mueller Anderson

Book information

Publisher
Wadsworth Publishing Company
Year
1962
Language
english
Format
PDF
Filesize
15 MB (16092700 bytes)
Pages
415\415
Orientation
no
Paginated
yes
Scanned
portrait
Time added
2016-06-18 01:47:23
LogicMathematicsNatural DeductionPhilosophy

Description

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.

Similar books

Αρχαίο Eλληνικό Aλφάβητο & Πολυδιάστατη Ʃημειωτική Θεωρία: Λέξεις, Kύκλοι και Aκολουθία Fibonacci. Mια Nέα Eποχή Προοπτικής στην Φιλοσοφία του Aποκρυφισμού II. Kαινοτόμες Παρατηρήσεις (Θεός, Φως, Αριθμός, Φύω). 2η Έκδοση. |:| Από την Αρχαία Ελληνική Γλώσσα στη Σύγχρονη Σημειωτική: Διερευνώντας Διεπιστημονικές Συνδέσεις & την Εξέλιξη των Σημειακών Συστημάτων μέσα από τη μελέτη των αρχαίων ελληνικών γραμμάτων, ως των επιμέρους στοιχείων τους. 1η έκδοση.

2023 · PDF