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