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
15 книг этого же автора
![[The Virgin 01] • Revenge](https://lionbook.net/1130288-thickbox_default/-the-virgin-01-revenge.jpg)
![[Alabama Summer 01] • All I...](https://lionbook.net/1434053-thickbox_default/-alabama-summer-01-all-i-want.jpg)
![[Wait For You 2.50] • The...](https://lionbook.net/1735336-thickbox_default/-wait-for-you-250-the-proposal.jpg)
Товары из этой категории:
This book is based upon Gentzen's techniques of natural deduction. Thepropositional and quantificational rules on which the exposition pivots arestated essen...