2022-2023 Catalog
2022-2023 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.
© Copyright 2025. Occidental College. All Rights Reserved. Powered by SmartCatalog