FINITE MODEL THEORY AND DESCRIPTIVE COMPLEXITY
Professor: Leonid Libkin
Office hours: by appointment
Class meets: Thu 4--6pm, BA 2135
Requirements: Easy problem sets, Assignment 1, Assignment 2 (50%)
Text: L. Libkin, Elements of
Finite Model Theory, Springer-Verlag, 2004.
You will be judged not just by correctness of your answers, but also
I strongly recommend
by Knuth et al,
as an excellent introduction into the art of mathematical writing. You
can get it on amazon.com for about US$25, it's worth it.
If you choose to be adventurous, try something like this.