2016-2017 Catalog
2016-2017 Catalog > Courses > PHIL - Philosophy > 300 > PHIL 325
A survey of results in the metatheory of first order logic including consistency completeness decidability and undecidability.