Logic and Computability 1

1 Course Unit

The 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: MATH 5700 1 Course Unit