finite model theory

finite model theory