Loyola University Chicago

Mathematics and Statistics

MATH 320: Mathematical Logic

Course Details
Credit Hours: 3
Prerequisites: MATH 313
Description:  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.