1
Finite Model Theory
Lecture 6
Complexity of FO