Type theory
Semantics
Predicate logic
Proof theory
Quantification
Type system
Model theory
Mathematical logic
Exception handling
Logic
Metalogic
Science