MTH 612
Mathematical Logic · 4 credits · Spring 2027
Requirements
GRADUATE STUDENTS ONLY
About this course
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.
Seat status as of Oct 3, 5:19 AM ET. Seats can change between refreshes.
Chill Rank compares professors using Rate My Professors reviews, from Chill to Brutal. What each rank means