|
Mar 28, 2024
|
|
|
|
Undergraduate Record 2007-2008 [ARCHIVED RECORD]
|
PHIL 543 - Advanced Logic Continues the study of the metatheory of first order logic, introduced in PHIL 542. Includes the significance of the Lowenheim-Skolem theorem and of Godel’s incompleteness theorems for first order arithmetic; the limitations of higher order logic; and topics from specialized areas in logic: set theory, recursion theory, and model theory. (SI)
Prerequisites & Notes Prerequisite: PHIL 542 or instructor permission.
Credits: 3
|
|