Instructor: Gillian Russell. This course meets MW 11:15 a.m. – 12:30 p.m. in CW 213.
This is a second course in Symbolic Logic. It introduces students who have completed an introductory course to further topics and proof techniques. Topics will include model theory, sequent calculus, and meta-theoretical results such as truth-functional adequacy, completeness, the Löwenheim-Skolem theorem and decidability.