The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich.

Saved in:

Bibliographic Details
Main Author:	Börger, E. (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)

Holdings details from Science Library
Call Number:	QA9.65 .B64 1997
Status:	Available

Similar Items