Hide Advanced Options
Courses - Spring 2027
MATH
Mathematics Department Site
Open Seats as of
10/22/2026 at 09:30 PM
MATH713
Mathematical Logic II
Syllabus Repository (0)
Add to My Saved List
Credits: 3
Grad Meth: Reg, Aud
Additional information: To prepare for this course, students should take MATH712 or consult with the course instructor before registering.
Incompleteness and undecidability results of Godel, Church, Tarski and others. Recursive function. Basic proof theory and axiomatic set theory.
Hide Sections
0101
Christian Rosendal
Seats (Total: 20, Open: 20, )
Add to My Saved List Bookstore
MWF 11:00am - 11:50am
MTH 0102