Metalogic
Model theory
Formal languages
Proof theory
Quantifier elimination
Unification
Well-formed formula
Decidability
Term algebra
Logic
Mathematical logic
Mathematics