Finite Model Theory (1999)

by EF99 H Ebbinghaus, J Flum