Logic
Mathematical logic
Mathematics
Predicate logic
Grammar
Model theory
Formal languages
First-order logic
Predicate
FO
Argument
Resolution