Course Details Skip Navigation

Course Details

MATH 452 A   Mathematical Logic back to previous pageBack to Results  
line for display separation
spacer image for extra space
spacer image for extra display space


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

line image for content separation

View Courses taught by this instructorView all courses taught by this instructor
View Courses in this departmentView 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.

end of course details line