Grädel et al. Finite Model Theory and Its Applications EATCS Texts in Theoretical Computer Science 450 pp., hardcover, available April 2007; Euro 59.95, USD 79.95, £46.00; http://www.springer.com[removed]8

Source URL: www.cs.rice.edu

• Model theory
• Finite model theory
• Ehrenfeucht–Fraïssé game
• Constraint programming
• Moshe Y. Vardi
• Constraint satisfaction
• Roland Fraïssé
• Database theory
• Combinatorics
• Mathematical logic
• Logic
• Mathematics