Mathematical Logic

GRS PH 661

The syntax and semantics of sentential and quantificational logic, culminating in the Godel Completeness Theorem. The Godel Incompleteness Theorem and its ramifications for computability and philosophy.

FALL 2014 Schedule

Section Instructor Location Schedule Notes
A1 Kanamori MCS B23 TR 11:00 am-12:30 pm Mts w/CAS PH461
& MA531
Mts w/CAS MA531

Note that this information may change at any time. Please visit the Student Link for the most up-to-date course information.