Back to Results
First PageMeta Content
Metalogic / Finite model theory / Ehrenfeucht–Fraïssé game / Compactness theorem / Elementary equivalence / FO / First-order logic / Finitary relation / Filter / Model theory / Mathematical logic / Logic


A Short Course on Finite Model Theory Jouko Väänänen
Add to Reading List

Document Date: 2001-10-11 09:40:15


Open Document

File Size: 215,77 KB

Share Result on Facebook
UPDATE