Mathematical logic
Model theory
Metalogic
Mathematics
First-order logic
Relational algebra
FO
Structure
Relational
Interpretation
Computation tree logic