Introduction to Mathematical Logic, Sixth Edition
Elliott Mendelson
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.The sixth edition incorporates recent work on Gödel's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition. It is offered in th...
Abstract: Explores the principal topics of mathematical logic. This title covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. It discusses the major results of Godel, Church, Kleene, Rosser, and Turing.
Abstract: Explores the principal topics of mathematical logic. This title covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. It discusses the major results of Godel, Church, Kleene, Rosser, and Turing.
Kategoriler:
Yıl:
2015
Baskı:
6th ed
Yayımcı:
CRC Press
Dil:
english
Sayfalar:
499
ISBN 10:
1482237784
ISBN 13:
9781482237788
Seriler:
Discrete Mathematics and Its Applications
Dosya:
PDF, 9.99 MB
IPFS:
,
english, 2015
Amazon 
Barnes & Noble 
Bookshop.org
Bir kitap dükkanı eklemek ister misiniz? Bize support@z-lib.do adresinden ulaşın
Dosyaları dönüştürün
Diğer arama sonuçları
Diğer avantajları 
Anahtar ifadeler
İlgili Koleksiyonlar
