Finite model theory - Flum, Jörg, 1944- (Perspectives in Mathematical Logic, 1995)