Math 564 is a graduate course on model theory. I am teaching it in Fall 2004.
The textbook is Model Theory: An Introduction, by David Marker, Springer-Verlag, Graduate Texts in Mathematics, 2002.
A course announcement is here in several formats: PS, PDF, DVI.
Also of interest is the Penn State Logic Seminar.
Note: In Exercise 1.4.5, a tree is defined to be a partial ordering with a least element, in which the predecessors of each element are linearly ordered.
firstname.lastname@example.org / 15 November 2004