The classical decision problem /

• Κύριος συγγραφέας: Boerger, Egon, 1946- (συγγραφέας.)
• Άλλοι συγγραφείς: Grädel, Erich, 1958- (συγγραφέας.), Gurevich, Yuri (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York : Springer, 1997.
• Σειρά: Perspectives in mathematical logic
• Θέματα: Λογική, Συμβολική και μαθηματική