Finite Model Theory, Springer-Verlag (1995)

by H D Ebbinghaus, J Flum