Mathematical Logic Related Courses 2007-2008

The courses taught by Professor Soare in Winter, 2008 are these two.

Computability Theory I

MATH 30200 = CMSC 38000 Computability Theory I

MWF 11:30-12:20 in Ryerson 277

(See Catalogue description.)
Information, announcements, homework, and other items for Math 302 can be found at

Math 302, Computability Theory I

Math 30408 (=Math 30400 Win 2008) Computability Theory III

MWF 1:30-2:20 in Ryerson 276

Prereqs: Math 302, Math 303.
See course description below. For more information see:

Math 304 = Computability Theory III
[Site is under construction.]

Outline of other Logic Courses 2007--08

Other Logic Courses 2007--08