Finite model theory and its applications /

• Άλλοι συγγραφείς: Grädel, Erich, 1958- (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin ; New York : Springer, c2007.
• Σειρά: Texts in theoretical computer science (Springer)
• Θέματα: Μαθηματικά μοντέλα
• Φυσική περιγραφή: xi, 437 σ. ; εικ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 9783540004288
• ISSN: 1862-4499