The main text for this course is The Language of First-Order Logic, by Jon Barwise and John Etchemendy. The textbook comes with a floppy disk in the back; you may buy and use either the Macintosh (red cover) or Windows (blue cover) edition.
You are responsible for everything in the reading assignments, whether or not I discuss it in a lecture.