Intermediate Logic

1.00 credits · Undergraduate

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.