Hide Advanced Options
Courses - Spring 2019
MATH
Mathematics Department Site
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.