MATH 712 / Topics in Foundations

3 unit(s)

Selected topics, such as model theory, both pure and applied, general algebraic systems, set theory, proof theory, and the theory of computability.