Finite Model Theory and Its Applications - Texts in Theoretical Computer Science. An EATCS Series (Paperback)Erich Gradel (author), Phokion G. Kolaitis (author), Leonid Libkin (author), Maarten Marx (author), Joel Spencer (author), Moshe Y. Vardi (author), Yde Venema (author), Scott A. Weinstein (author)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 440
Weight: 694 g
Dimensions: 235 x 155 x 23 mm
Edition: 2007 ed.
From the reviews:
"This book has its origins in a workshop held in Philadelphia in 1999 ... . The chapters are of an expository nature, each one providing an excellent starting point to explore the research literature in the relevant topic. ... I found it to be a more accessible introduction to the subject ... and a useful starting point for graduate students entering the subject. ... This will appeal ... to those readers trained in classical traditions of logic who wish to approach the subject." (Anuj Dawar, Mathematical Reviews, Issue 2009 i)
You may also be interested in...
Please sign in to write a review