This site contains materials relating to the second half of the course, on finite model theory.

Copies of the transparencies used in the lectures
are available here.

The diagram on page 64 of the slides does not seem to come
out in the above PDF file, so here is the page in postscript.

Here is an excellent expository article on finite variable logics

The first exercise sheet is here.

The second exercise sheet is here.

The third exercise sheet is here.