1
Finite Model Theory
Lecture 10
Second Order Logic