Ehrenfeucht–Fraïssé game

#	Item
1	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 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2007-04-07 16:37:58 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
2	A Short Course on Finite Model Theory Jouko Väänänen Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2001-10-11 09:40:15 Metalogic Finite model theory Ehrenfeucht–Fraïssé game Compactness theorem Elementary equivalence FO First-order logic Finitary relation Filter Model theory Mathematical logic Logic