The classical decision problem /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Boerger, Egon, 1946- (συγγραφέας.)
Άλλοι συγγραφείς: Grädel, Erich, 1958- (συγγραφέας.), Gurevich, Yuri (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York : Springer, 1997.
Σειρά:Perspectives in mathematical logic
Θέματα:
Περιγραφή
Φυσική περιγραφή:xii, 492 σ. ; 24 εκ.
Βιβλιογραφία:Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
ISBN:354057073X (σκληρό εξώφυλλο)