Course Title:
Advanced Logic
Course Description:
Studies the major results in the metatheory of first-order logic. Examines consistency, completeness, and decidability. Discusses the general notion of an effectively computable process, Church’s thesis, and the existence of unsolvable problems.
Fall Offering:
None
Lab/Coreq 1:
Spring Offering:
None
Lab/Coreq 2:
Summer Offering:
None
Lab/Coreq Remarks:
Summer 1 Offering:
None
Prerequisite 1:
PHL U215
Summer 2 Offering:
None
Prerequisite 2:
Cross-Listed Course 1:
Prerequisite 3:
Cross-Listed Course 2:
Prerequisite 4:
Cross-Listed Course 3:
Prerequisite 5:
Cross-Listed Course 4:
Prerequisite Remarks:
Cross-Listed Course 5:
Repeatable:
N
Additional Information:
Approved course: Arts & Sciences Core-Analysis
