 BROWSE
 USED
 STAFF PICKS
 GIFTS + GIFT CARDS
 SELL BOOKS
 BLOG
 EVENTS
 FIND A STORE
 800.878.7323

$29.95
New Trade Paper
Ships in 1 to 3 days
Other titles in the Dover Books on Mathematics series:
An Introduction to Mathematical Logic (Dover Books on Mathematics)by Richard E. Hodel
Synopses & ReviewsPublisher Comments: Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy.
An introductory section prepares readers for successive chapters on propositional logic and firstorder languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between mathematics and logic. Topics include the theorems of Gödel, Church, and Tarski on incompleteness, undecidability, and indefinability; a rigorous treatment of recursive functions and recursive relations; computability theory; and Hilbert's Tenth Problem. Numerous exercises appear throughout the text, and an appendix offers helpful background on number theory. Dover (2013) republication of the edition published by PWS Publishing Company, Boston, 1995. See every Dover book in print at www.doverpublications.com Synopsis:Comprehensive overview, suitable for advanced undergraduates and graduate students, covers propositional logic; firstorder languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition. Synopsis:This comprehensive overview of mathematical logic is designed primarily for advanced undergraduates and graduate students of mathematics. The treatment also contains much of interest to advanced students in computer science and philosophy. Topics include propositional logic; firstorder languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition. Table of ContentsPreface 1. Background 2. Language and Semantics of Propositional Logic 3. Propositional Logic 4. FirstOrder Languages 5. FirstOrder Logic 6. Mathematics and Logic 7. Incompleteness, Undecidability and Indefinability 8. Recursive Functions 9. Compatability Theory 10. Hilbert's Tenth Problem Appendix: Number Theory References and recommended readings Index What Our Readers Are SayingBe the first to add a comment for a chance to win!Product Details
Related Subjects
Humanities » Philosophy » Logic


