1
Finite Model Theory
Lecture 11
Second Order Logic