Seminar in Logic

Undergraduate

focuses on a primary text or texts in logic. Topics may include: inference; proof; computability; consequence; non-classical logics; meta-theory, among others.