ISBN 3540004289 books & textbook
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Grädel, Erich Kolaitis, Phokion G. Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y. Venema, Yde Weinstein, Scott
Springer /2007-04-24 Hardcover / 448 Pages
isbn-10: 3540004289 / isbn-13: 9783540004288
