Hide Advanced Options
Courses - Spring 2024
MATH
Mathematics Department Site
Open Seats as of
07/26/2024 at 07: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: 18, Open: 12, Waitlist: 0 )
Bookstore
MWF 1:00pm - 1:50pm
MTH B0431