Logic
Metalogic
Mathematics
Proof theory
Model theory
Mathematical logic
Syntax
First-order logic
Well-formed formula
Formal system
Logic programming
Resolution