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.