Loyola University Chicago

- Navigation -

Loyola University Chicago

Mathematics and Statistics

MATH 420: Mathematical Logic

Credit Hours



MATH 313 or MATH 351 or permission of the instructor


This course will be a mathematical study of the concepts of truth and proof and how they relate to each other. The main topics to be covered are propositional logic, first order predicate logic, computability and undecidability results.

Outcomes: Students will develop proof writing skills, expand mathematical literacy, understand the expressive power and limitations of propositional and predicate logics and learn the mathematical meaning of "truth" and "proof".


Department of Mathematics and Statistics (map)
Loyola University Chicago · 1032 W. Sheridan Road, Chicago,IL 60660
Phone: 773.508.3558 · Fax: 773.508.2123 · Contact Us

Notice of Non-discriminatory Policy