9783540287872 | 2 rev enl edition (Springer Verlag, December 16, 2005), cover price $119.00 | About this edition: This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds.

9783540601494 | Springer Verlag, June 1, 1995, cover price $139.00 | About this edition: Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity theory.

9783540657583 | 2 rev sub edition (Springer Verlag, October 1, 1999), cover price $89.95

9780387097329 | Springer Verlag, February 1, 1980, cover price $33.95