Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications) is backordered and will ship as soon as it is back in stock.
Couldn't load pickup availability
Genuine Products Guarantee
Genuine Products Guarantee
We guarantee 100% genuine products, and if proven otherwise, we will compensate you with 10 times the product's cost.
Delivery and Shipping
Delivery and Shipping
Products are generally ready for dispatch within 1 day and typically reach you in 3 to 5 days.
Introduction to Mathematical Logic (Discrete Mathematics and Its Ap...
Book Details
• Author: Mendelson, Elliott
• Brand: CRC Press
• Edition: 6
• Binding: Hardcover
• Number Of Pages: 513
• Release Date: 08-06-2015
• ISBN-13: 9781482237726
• Languages: English
Details:
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.
• Restores an appendix on consistency proofs for first-order arithmetic (last appeared in the first edition).
• Includes historical perspectives and many new exercises of varying difficulty, motivating and guiding students to an in-depth, practical understanding of the material.
