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:

Similar Items