Topics in Mathematical Logic

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: LGIC 4960 1 Course Unit