Predicate logic
Model theory
Semantics
Philosophical logic
Formal languages
First-order logic
Interpretation
Function
Identity
Logic
Mathematical logic
Mathematics