MATH 713
Mathematical Logic II
Incompleteness and undecidability results of Godel, Church, Tarski and others. Recursive function. Basic proof theory and axiomatic set theory.
Prerequisites & course information
Additional Information: To prepare for this course, students should take MATH712 or consult with the course instructor before registering.
Sources
- Course catalogue ↗2026-2027