Loyola University Chicago

- Navigation -

Loyola University Chicago

Mathematics and Statistics

MATH 320: Mathematical Logic

Credit Hours



MATH 313


This course in modern mathematical logic begins with a study of propositional logic and leads to an examination of first-order predicate logic including quantifiers, models, syntax, semantics, and the completeness and compactness theorems. Additional topics include Goedel's incompleteness theorems. Connections with abstract algebra and other areas of mathematics are explored.


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