- CS103A meets MWF 1:15 - 2:05 pm in Gates B03 (basement)
- The text is Barwise and Etchemendy: Language, Proof & Logic. We make extensive use of the
software that comes with the text, and due to the licensing
agreement, it is highly recommended that you purchase a new copy of the text.