Egon Börger, Erich Grädel, Yuri Gurevich: The Classical Decision Problem.

Perspectives in Mathematical Logic, Springer-Verlag Berlin, Heidelberg etc., 1997, pp. XII+482. ISBN 3-540-57073-X

The book can be ordered electronically from:

http://www.springer.de/catalog/catalog-files/catalog-order.html

where also more information can be obtained.

Yes, please send me

Boerger/Graedel/Gurevich: The Classical Decision Problem

ISBN 3-540-57073-X DM 158,-

Springer-Verlag
Postfach 31 13 40

D-10643 Berlin