4
Resources
•
www.cs.washington.edu/599ds
•
•
Books
•
Leonid Libkin,
Elements of Finite Model Theory
main text
•
H.D. Ebbinghaus, J. Flum,
Finite Model Theory
•
Herbert Enderton
A mathematical Introduction to Logic
•
Barwise et al.
Model Theory
(reference model theory book;
won't really use it)