PHIL 350 Metalogic

This course surveys results in the metatheory of first order logic including consistency, completeness, decidability, and undecidability.