Dublin Core
Title
An Introduction to Mathematical Logic (Dover Books on Mathematics)
Creator
Hodel, Richard E
Description
An Introduction to Mathematical Logic by Richard E. Hodel is a comprehensive, graduate-level textbook originally published in 1995 and reissued by Dover Publications in 2013. Widely recognized for its depth and thoroughness, the text bridges the fundamental concepts of formal logic with advanced computational and mathematical theory. It transitions from standard semantic and proof-theoretic investigations into the deeper foundational interplay between mathematics and logic.
Target Audience
The text is primarily designed for advanced undergraduate and graduate students of mathematics. Because of its extensive focus on computability, algorithmic undecidability, and formal languages, it also serves as a highly valuable reference for advanced students and researchers in computer science and philosophy.
Target Audience
The text is primarily designed for advanced undergraduate and graduate students of mathematics. Because of its extensive focus on computability, algorithmic undecidability, and formal languages, it also serves as a highly valuable reference for advanced students and researchers in computer science and philosophy.
Subject
Mathematics
Publisher
Dover Publications
Date
2013
Format
PDF
Language
English
Type
Text