LGIC 3100
Logic and Computability 1
University of Pennsylvania · UGRD · Fall 2026
1 section
Catalog description
This graduate course focuses on topics drawn from the central areas of mathematical logic: model theory, proof theory, set theory, and computability theory.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #pennsylvania_2-LGIC3100Fall 2026UGRD1 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?