Dear ZLibrary User, now we have a dedicated domain 1lib.us for your region and you have been redirected to it. You can bookmark the new address and use it in the future.
Main Introduction to Mathematical Logic, Sixth Edition

Introduction to Mathematical Logic, Sixth Edition

,
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... Read more...
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. Read more...
Categories:
Year:
2015
Edition:
6th ed
Publisher:
CRC Press
Language:
english
Pages:
499
ISBN 10:
1482237784
ISBN 13:
978-1-4822-3778-8
Series:
Discrete Mathematics and Its Applications
File:
PDF, 9.99 MB
Download (pdf, 9.99 MB)

You may be interested in Powered by Rec2Me

 

Most frequently terms

 
 

You can write a book review and share your experiences. Other readers will always be interested in your opinion of the books you've read. Whether you've loved the book or not, if you give your honest and detailed thoughts then people will find new books that are right for them.