Tell your friends about this item:
Finite and Algorithmic Model Theory - London Mathematical Society Lecture Note Series Javier Esparza
Price
$ 94.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 8 - 18
Our customers say:
Add to your iMusic wish list
Finite and Algorithmic Model Theory - London Mathematical Society Lecture Note Series
Javier Esparza
Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. The chapters include extensive bibliographies.
356 pages, 55 b/w illus.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | March 10, 2011 |
| ISBN13 | 9780521718202 |
| Publishers | Cambridge University Press |
| Pages | 356 |
| Dimensions | 154 × 227 × 18 mm · 518 g |
| Language | English |
| Editor | Esparza, Javier (Technische Universitat Munchen) |
| Editor | Michaux, Christian |
| Editor | Steinhorn, Charles (Vassar College, New York) |
More by Javier Esparza
Show all![Cover for Javier Esparza · Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/470/9783662439470.jpg?javier-esparza-2014-automata-languages-and-programming-41st-international-colloquium-icalp-2014-copenhagen-denmark-july-8-11-2014-proceedings-part-i-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1443765989)
![Cover for Javier Esparza · Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/500/9783662439500.jpg?javier-esparza-2014-automata-languages-and-programming-41st-international-colloquium-icalp-2014-copenhagen-denmark-july-8-11-2014-proceedings-part-ii-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1443765990)
![Cover for Javier Esparza · Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 2008 edition] (2010)](https://imusic.b-cdn.net/images/item/original/051/9783642096051.jpg?javier-esparza-2010-unfoldings-a-partial-order-approach-to-model-checking-monographs-in-theoretical-computer-science-an-eatcs-series-paperback-book&class=scaled&v=1408472023)
Mere med samme udgiver
![Cover for Jackson, Robert J. (University of Redlands, California) · Global Politics in the 21st Century: War in Peacetime (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/882/9781009114882.jpg?jackson-robert-j-university-of-redlands-california-2026-global-politics-in-the-21st-century-war-in-peacetime-paperback-book&class=scaled&v=1778756904)
![Cover for Chen, Cher Weixia (George Mason University, Virginia) · International Human Rights International Human Rights: A Survey (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/013/9781009855013.jpg?chen-cher-weixia-george-mason-university-virginia-2026-international-human-rights-international-human-rights-a-survey-paperback-book&class=scaled&v=1779708744)
See all of Javier Esparza ( e.g. Paperback Book and Hardcover Book )