PHIL 5200 - Symbolic Logic

Metatheory of modern logic. Includes model theory and proof theory. Proofs of consistency and completeness for first-order logic, undecidability of logic, and incompleteness of formal arithmetic. May include applications of logic. For juniors and seniors.