Course Details
MATH 452 A   Mathematical Logic Back to Results  


InstructorSaracino, Daniel H.
MeetsT 855-945, MCGREG 202
Pre-RequisitesMATH 320
NotesAlso meets F, 1:20-3:00; MATH 320 (grade of B or higher) required
DistributionNat Science/Math Requirement
Core AreaNone

View all courses taught by this instructor
View all courses in this department

This course deals with one or more topics in mathematical logic, chosen from among the following: naive and axiomatic set theory, propositional and predicate calculus, completeness and compactness theorems, first-order model theory, recursive functions, and Godel's Incompleteness Theorem. Prerequisite: MATH 320 and permission of the instructor. Offered in the fall only, in alternate years.