ERICH GRADEL; PHOKION G KOLAITIS; LEONID LIBKIN; MAARTEN MARX; JOEL SPENCER; MOSHE Y VARDI; YDE VENEMA; SCOTT WEINSTEIN FINITE MODEL THEORY AND ITS APPLICATIONS - - SPRINGER. 2010 - 437 p. ISBN: 9788184895032 Subjects--Topical Terms: FINITE ELEMENT ANALYSIS Dewey Class. No.: 620.00151 GRA / ERI