Mathematical Logic

Catalog description

This course in modern mathematical logic begins with a study of propositional logic and leads to the study of first-order predicate logic, including quantifiers, models, syntax, semantics, the completeness and compactness theorems, and other selected topics.