The following books have been put on reserve at Hayden.

• Mathematical Logic, by Ebbinghaus, Flum, and Thomas.
  A very good introduction to the subject.
• Finite Model Theory and its Applications, by Gradel et al.
• Descriptive Complexity, by Neil Immerman.
• Finite Model Theory, by Ebbinghaus and Flum.
  The first book on the topic, with a somewhat different perspective than our text.
• Finite Automata, Formal Logic, and Circuit Complexity, by Howard Straubing
• A Shorter Model Theory, by Wilfrid Hodges.

• Online course notes by Lou van den Dries, for an introduction to logic class.

  Chapter 1 provides a nice overview, and collects some helpful background information. Sections 2.3 - 2.6 contain a more detailed introduction to first-order logic (`predicate logic') than the one in the text.

• An online article by Neil Immerman on computability and complexity.

Last updated February 2008