Preface / Javier Esparza, Christian Michaux and Charles Steinhorn
Automata-based presentations of infinite structures / Vince Bárány, Erich Grädel and Sasha Rubin
Logical aspects of spatial databases / Bart Kuijpers and Jan Van den Bussche
Some connections between finite and infinite model theory / Vera Koponen
Definability in classes of finite structures / Dugald Macpherson and Charles Steinhorn
Algorithmic meta-theorems / Stephan Kreutzer
Model theoretic methods for fragments of FO and special classes of (finite) structures / Martin Otto.
OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
Finite and algorithmic model theory. ISBN 9780521718202. Published by Cambridge University Press in 2011. Publication and catalogue information, links to buy online and reader comments.
