Logic and Computability 1

1 Course Unit

This graduate course focuses on topics drawn from the central areas of mathematical logic: model theory, proof theory, set theory, and computability theory. Not Offered Every Year Also Offered As: LGIC 3100 Prerequisite: MATH 3710 OR MATH 5030 1 Course Unit