next up previous
Next: Grading Up: Mathematics 355 Symbolic Logic Previous: Subject Matter

Text

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.



Stephen Bloch
Mon Sep 15 12:28:19 EDT 1997