2024-2025 Catalog
2024-2025 Catalog > Course Descriptions > MATH - Mathematics > 300 > MATH 350
This course surveys results in the metatheory of first order logic including consistency, completeness, decidability, and undecidability.