Descriptive complexity
SO
Dutch East India Company
FO
2nd millennium
Netherlands
Finite model theory
Mathematics
Computational complexity theory