2018-2019 Catalog
2018-2019 Catalog > Course Descriptions > PHIL - Philosophy > 300 > PHIL 325
A survey of results in the metatheory of first order logic including consistency completeness decidability and undecidability.