The classical decision problem /

Bibliographic Details

Main Author:	Boerger, Egon, 1946-
Other Authors:	Grädel, Erich, 1958-, Gurevich, Yuri
Format:	Book
Language:	English
Published:	New York : Springer, 1997.
Series:	Perspectives in mathematical logic.
Subjects:	Decidability (Mathematical logic)