Mathematical Logic

CAS PH 461

The syntax and semantics of sentential and quantificational logic, culminating in the Gödel Completeness Theorem. The Gödel Incompleteness Theorem and its ramifications for computability and philosophy. Also offered as CAS MA 531.

FALL 2015 Schedule

Section Instructor Location Schedule Notes
A1 Kanamori MCS B23 TR 11:00 am-12:30 pm Mts w/CASMA531
& GRS PH661

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