Logic
Model theory
Abstraction
Mathematical logic
Semantics
Predicate logic
Metalogic
Structure
Homomorphism
Interpretation
Symbol
First-order logic