MATH 570
Mathematical Logic

Credit: 4 hours.


(MATH 410) Development of first order predicate logic; completeness theorem; formalized number theory and the Godel incompleteness theorem. Prerequisite: MATH 417 or consent of instructor.