MATH 6810
Logic
Cornell University · UGRD · Fall 2026
1 section
Catalog description
Covers basic topics in mathematical logic, including propositional and predicate calculus; formal number theory and recursive functions; completeness and incompleteness theorems, compactness and Skolem-Loewenheim theorems. Other topics as time permits.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #cornell_2-MATH6810Fall 2026UGRD3 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?