Introduction to Mathematical Logic, 6th Edition (Discrete Mathematics and Its Applications) – eBook PDF The new edition of this classic book, Introduction to Mathematical Logic, 6th Edition explores the principal topics of mathematical logic. It covers propositional logic, 1st-order number theory, axiomatic set theory, 1st order logic, and the theory of computability. The textbook also discusses the major results of Gödel, Church, Rosser, Turing and Kleene, . The 6th 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...
Introduction to Mathematical Logic, 6th Edition – eBook PDF
