Instructor: Luke Elson. This course meets Tuesdays & Thursdays from 2:00 p.m. – 3:15 p.m. in Peabody 216.
A first undergraduate course in mathematical logic. Topics include how to translate English arguments into logical symbolism, the notion of logical consistency, and proofs in various logical systems.
Luke Elson’s webpage