{{Cat main|Descriptive complexity}}
Category:Computational complexity theory
Category:Finite model theory