Natural Deduction, The Logical Basis of Axiom Systems
Читати фрагмент
Моментальне завантаження
після оплати (24/7)
Широкий вибір форматів
(для всіх пристроїв)
Повна версія книги
(в т.ч. для Apple та 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
Характеристики
- ФІО Автора
- H.
J.
Johnstone
Mueller Anderson - Мова
- Англійська
- Дата виходу
- 1962
![[Sweet Addiction 03] •...](https://lionbook.net/1898021-thickbox_default/-sweet-addiction-03-sweet-obsession.jpg)
