1
Finite Model Theory
Lecture 2
Ehrenfeucht-Fraisse Games