Courses - Spring 2025
MATH713
Mathematical Logic II
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.
Flagship Institution of the University System of Maryland
University of Maryland, College Park, MD 20742, USA
/
Phone:
301.405.1000
Copyright
© 2026 University of Maryland
/
Privacy /
Web Accessibility
Contact us
with comments, questions and feedback
/