Your browser is unsupported

We recommend using the latest version of IE11, Edge, Chrome, Firefox or Safari.


Mathematical logic is a branch of mathematics that deals with formal systems, symbolic logic, and the study of mathematical reasoning. It focuses on understanding the nature of mathematical reasoning and provides tools for analyzing the structure of mathematical arguments and proofs.  At MSCS, faculty members work in computability theory, model theory, and in applications of those to other areas of mathematics such as algebra, combinatorics, geometry and number theory.

Faculty Heading link

Upcoming Seminars Heading link

Apr 17 2024

Logic Seminar: TBA, by Patrick Lutz

Wednesday, 4:00 pm–4:50 pm
712 SEO
Apr 18 2024

Louise Hay Logic Seminar: The Monster Model: Just What Is That Thing?, by Ryan Carpenter

Thursday, 3:00 pm–3:50 pm
427 SEO
Apr 24 2024

Logic Seminar: TBD, by James Walsh

Wednesday, 4:00 pm–4:50 pm
712 SEO