The classical decision problem /

• 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: Λογική, Συμβολική και μαθηματική
• Physical Description: xii, 492 σ. ; 24 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 354057073X (σκληρό εξώφυλλο)