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: PHIL 6721 Prerequisite: MATH 3710 OR MATH 5030 1 Course Unit