Logic
Mathematical logic
Metalogic
Propositional calculus
Boolean algebra
Formal languages
Syntax
Substitution
Admissible rule
Model theory
Type
Quantifier