MAT3361 (Winter 2010):
Introduction to Mathematical Logic

Instructor


Michael A. Warren

Contact information:


Office: 585 King Edward (KED), Room 204B
Phone: 613.562.5864 x2103
E-mail: m(my-surname-here)(at)uottawa(dot)ca

Office hours: Tuesday 15:00 - 16:00, Thursday 15:00 - 16:00 or by appointment

Lecture times and locations


Wednesday 13:00 - 14:30 in MRN 226
Thursday 11:30 - 13:00 in MRN 226

Course text


Logic and Structure (4th Ed.) by Dirk van Dalen (Springer, 2008).

Other material


I will post all assigments, solutions and additional material (including the course syllabus) on the course "Blackboard" site accessible through Virtual Campus.