Category:Finite model theory

{{Cat main|Finite model theory}}

{{see also cat|Logic in computer science}}

Finite model theory