21-300 & 21-600 Fall 2011

Instructor: Professor Peter Bruce Andrews

Textbook: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Website: 21-300 Basic Logic and 21-600 Introduction to Mathematical Logic Fall 2011

Office Hours for Roy (Teaching Assistant) in WEH 7213: T 1:30 – 3:00, Th 1:00 – 3:00.

Updates:

  • Usual office hours on Tuesdays have changed from 1:00 – 3:00 to 1:30 – 3:00. (September 14, 2011)
  • Usual office hour has changed from TTh 2:00 – 4:00 to TTh 1:00 – 3:00. (September 10, 2011)

Homework Guideline: Homework Guideline for 21-300 and 21-600 Fall 2011

Homework Feedback:

Exam Feedback

  • Test T1: Monday, October 10, 2011.
  • Test T2: Monday, November 14, 2011.
  • Test T3: Monday, December 19, 2011.

Leave a comment

Your email address will not be published. Required fields are marked *