Mathematical logic explores the potential and constraints of formal mathematical reasoning at the interface of mathematics, computer science, and philosophy.
Readers with no prior study in the discipline are exposed to the fundamentals of model theory, proof theory, and computability theory in this expansion of Leary's user-friendly 1st edition.
The text can be utilized for self-study or in an upper-division undergraduate classroom. The expanded 2nd Edition updates the 1st Edition's treatment of languages, structures, and deductions, leading to rigorous proofs of Gödel's First and Second Incompleteness Theorems, and it also includes solutions to a few exercises. It also includes a new introduction to incompleteness through computability.