Mathematical Logic credit: 3 or

4 Hours

Introduction to the formalization of mathematics and the study of axiomatic systems; expressive power of logical formulas; detailed treatment of propositional logical and predicate logic; compactness theorem and Gödel completeness theorem, with applications to specific mathematical theories; algorithmic aspects of logical formulas. 4 hours of credit requires approval of the instructor and department with completion of additional work of substance. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: MATH 314 .