2020-2021 Catalog
2020-2021 Catalog Course Descriptions PHIL - Philosophy 300 PHIL 350
This course surveys results in the metatheory of first order logic including consistency, completeness, decidability, and undecidability.