Status
A
Activity
LEC
Section number integer
401
Title (text only)
Logic and Computability 1
Term
2023C
Subject area
LGIC
Section number only
401
Section ID
LGIC3100401
Course number integer
3100
Meeting times
TR 3:30 PM-4:59 PM
Meeting location
WILL 25
Level
undergraduate
Instructors
Henry Piers Towsner
Description
This graduate course focuses on topics drawn from the central areas of mathematical logic: model theory, proof theory, set theory, and computability theory.
Course number only
3100
Cross listings
MATH5700401, PHIL4721401, PHIL6721401
Use local description
No