E. Grädel, P.G. Kolaitis, L. Libkin, M. Marx, J. Spencer, M.Y. Vardi, Y. Venema and S. Weinstein. Finite model theory and its applications. Texts in Theoretical Computer Science. Springer, Berlin, 2007, xiii + 437 pp

Bibliographic Details
Title:	E. Grädel, P.G. Kolaitis, L. Libkin, M. Marx, J. Spencer, M.Y. Vardi, Y. Venema and S. Weinstein. Finite model theory and its applications. Texts in Theoretical Computer Science. Springer, Berlin, 2007, xiii + 437 pp
Authors:	Stephan Kreutzer
Source:	The Bulletin of Symbolic Logic. 16:406-407
Publisher Information:	Cambridge University Press (CUP), 2010.
Publication Year:	2010
Subject Terms:	0101 mathematics, 01 natural sciences
Document Type:	Article
Language:	English
ISSN:	1943-5894 1079-8986
DOI:	10.1017/s1079898600000846
Access URL:	https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1079898600000846
Rights:	Cambridge Core User Agreement
Accession Number:	edsair.doi.dedup.....78bdbd8191a2a95fb918714e8400f8b7
Database:	OpenAIRE

Description
ISSN:	19435894 10798986
DOI:	10.1017/s1079898600000846