Oulie
Finite model theory by Heinz-Dieter Ebbinghaus — Oulie