Mathematics
Models of computation
Metalogic
Structure
Universal algebra
FO
Model theory
String
Symbol
Automata theory
Theoretical computer science
Formal languages