Finite model theory /

Bibliographic Details
Main Author: Ebbinghaus, Heinz-Dieter, 1937
Other Authors: Flum, Jörg
Format: Book
Published: Berlin : Springer, 1995.
Series:Perspectives in mathematical logic
Subjects: