2024-2025 Catalog
2024-2025 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.