Graduate Catalog 2014-2015
Home | Graduate Catalog 2014-2015 | Graduate Programs, Disciplines, and Course Offerings | Graduate Courses in Selected Disciplines | Mathematics Courses | MTH 612 Introduction to Mathematical Logic
MTH 612 Introduction to Mathematical Logic
4 hours; 4 credits
A development of the propositional calculus and the predicate calculus with special emphasis on their mathematical aspects and applications. The course covers formal axiomatic theory, validity, provability, consistency, and completeness.
Prerequisite: MTH 233 or MTH 236 or permission of the department
Up one level
Click arrowheads to expand or collapse contents