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