Mathematical logic
Logic
Model theory
Metalogic
Predicate logic
Formal methods
Resolution
First-order logic
Skolem normal form
Automated theorem proving
Quantifier
Axiom