The classical decision problem
By: Egon Börger, Erich Grädel, Yuri Gurevich.
Contributors: Grädel, Erich, 1958-; Gurevich, Yuri.
Series: Perspectives in mathematical logic
Publisher: Springer
Published: 1997
Place of publication: Berlin; London
Language: eng
Number of pages: 482
Subjects: Decidability (Mathematical logic)
Notes: Bibliography: p(421)-476. - Includes index.