GRADEL ERICH FINITE MODEL THEORY AND ITS APPLICATIONS - SPRINGER 2007 - 437 P ISBN: 9783540004288 Subjects--Topical Terms: MATHEMATICS Dewey Class. No.: 511.34 GRA