Introduction to Mathematical Logic (Dover Books on Mathematics)

Book Details

• Author: Hodel

• Brand: Dover

• Edition: Reprint

• Binding: Paperback

• Number of Pages: 512

• Release Date: 24-01-2013

• ISBN: 9780486497853

• Languages: English

• Package Dimensions: 9.2 x 6.1 x 1.2 inches

About The Book

Mathematical Logic by Hodel offers a comprehensive and accessible introduction to the foundational aspects of mathematical logic. Widely praised for its clarity and thorough coverage, this book serves as an essential resource for advanced undergraduates and graduate students in mathematics, as well as those in computer science and philosophy.

The book begins with an introductory section that prepares readers for the main topics, including propositional logic and first-order languages and logic. It then progresses to an exploration of the interplay between mathematics and logic, addressing key concepts such as Gödel's incompleteness theorems, Church's and Tarski's work on undecidability and indefinability, and a rigorous examination of recursive functions and relations.

Significant emphasis is placed on computability theory and Hilbert's Tenth Problem, providing a thorough treatment of these complex subjects. Throughout the book, numerous exercises help reinforce understanding and encourage deeper engagement with the material.

Additionally, an appendix offers helpful background on number theory, making this book a comprehensive guide to the principles and applications of mathematical logic.