Foundations, proof theory, and computability
Foundations of logical reasoning with propositions
Quantifiers and predicates for expressive power
Formal proof systems and deduction
Complete treatment of first-order logic
Turing machines and decidability
Incompleteness and the limits of formal systems
Structures, models, and their properties
Comprehensive references and practice materials