A comprehensive introduction to first-order theories, exploring their structure, examples like Peano arithmetic and group theory, and their profound significance in mathematics and computer science.
Comprehensive introduction to formal logic, covering symbolic notation, formal systems, logical operators, and the foundations of mathematical reasoning.
A comprehensive guide to induction principles from 'The Calculus of Computation' by Bradley and Manna, covering mathematical induction, structural induction, and their applications to formal verification.