Finite model theory
By: Heinz-Dieter Ebbinghaus, Jörg Flum.
Contributors: Flum, Jörg.
Series: Perspectives in mathematical logic
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 327
Subjects: Model theory
Notes: Includes bibliographical references (p. [313]-317) and index.