Natural Deduction, The Logical Basis of Axiom Systems
Mueller Anderson, J., Johnstone, H.
This book is based upon Gentzen's techniques of natural deduction. The
propositional and quantificational rules on which the exposition pivots are
stated essentially as Gentzen stated them, and even the names used for them
are free translations of his names. Gentzen's techniques constitute a very
natural approach to the study of the proofs occurring in axiom systems as well
as a sound basis for the analysis of the properties of formal systems as such.
propositional and quantificational rules on which the exposition pivots are
stated essentially as Gentzen stated them, and even the names used for them
are free translations of his names. Gentzen's techniques constitute a very
natural approach to the study of the proofs occurring in axiom systems as well
as a sound basis for the analysis of the properties of formal systems as such.
Година:
1962
Издателство:
Wadsworth Publishing Company
Език:
english
Страници:
415
Файл:
PDF, 15.35 MB
IPFS:
,
english, 1962
Amazon 
Barnes & Noble 
Bookshop.org
Искате ли да добавите книжарница? Свържете се с нас на support@z-lib.do
Конвертиране на файлове
Още резултати от търсенето
Други предимства 
![Joseph Muscat — Logic [expository notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/ba666d511c3e0dc2d2a6f43e728e450b58645eb569b74ae2f43a55812ad1a7da.jpg)
Най-често използвани термини
Свързани списъци с книги
