Finite model theory and its applications /

• Other Authors: Grädel, Erich, 1958- (συγγραφέας.)
• Format: Book
• Language: English
• Published: Berlin ; New York : Springer, c2007.
• Series: Texts in theoretical computer science (Springer)
• Subjects: Μαθηματικά μοντέλα