MTH 355
Symbolic Logic

Dr. Stephen Bloch
Fall, 2003

Syllabus Calendar Assignments

This course meets from 11:00-11:50 AM on Mondays, Wednesdays, and Fridays. Most days we'll meet in HHE (i.e. Business) 105, but most Fridays we'll meet in the HHE 110 computer lab.


We're using the textbook Language, Proof and Logic, by Jon Barwise and John Etchemendy. I've used earlier editions of this textbook in several previous semesters, and was quite happy with it. It comes with a CD-ROM containing the full text of the textbook as well as several software packages which you'll need in order to do and turn in your homework. The software should run on both Macintosh or Windows machines; you're free to use whichever you prefer. Printed on the CD-ROM envelope is your "Book ID#", which you'll need in order to make use of the automatic grading software, so don't lose it. Don't buy a used copy of this book! The "Book ID#" is non-transferrable, so if you buy a used copy, you probably won't be able to use the auto-grading software.

Last modified: Fri Aug 29 11:53:15 EDT 2003
Stephen Bloch /