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

Reviews

• Review by Maaarten Marx (Journal of Logic, Language and Information 8:4 (1999) 478-481, see http://turing.wins.uva.nl/~marx on Dec 24, 1998.
• Review in ACM SIGACT News 35:1 (March 2004) 4-7