Hide Advanced Options
Courses - Spring 2025
MATH
Mathematics Department Site
Open Seats as of
12/03/2024 at 12:30 PM
MATH713
Mathematical Logic II
Syllabus Repository (0)
Credits: 3
Grad Meth: Reg, Aud
Prerequisite: MATH712.
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: 19, Waitlist: 0 )
Bookstore
MWF 10:00am - 10:50am
MTH 0104