You are now in the main content area
This course examines first-order logic, including basic metalogical results such as soundness and completeness. There will be an introduction to basic set theory and metalogic. Topics may include the Loewenheim-Skolem theorems for first-order logic and Gödel’s incompleteness theorems.
Weekly Contact: Lecture: 3 hrs.
GPA Weight: 1.00
Course Count: 1.00
Billing Units: 1
Mentioned in the Following Calendar Pages
*List may not include courses that are on a common table shared between programs.