Computational complexity theory
Complexity classes
Theory of computation
FO
PSPACE
SO
P
EXPTIME
Boolean algebra
Co-NP-complete
Reduction
Descriptive complexity theory