The following books have been put on reserve at Hayden.
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.
Last updated February 2008