MATH 4580: Mathematical Logic
Course Description
This course focuses on a study of the logic of mathematics by the axiomatic method, with a development of the propositional calculus and restricted predicate calculus emphasizing its application to the foundations of mathematics.