Logic
Mathematical logic
Abstraction
Model theory
Proof theory
Predicate logic
Philosophical logic
Non-classical logic
Sequent
First-order logic
Quantifier
Skolem normal form