MATH 6810 — Logic
General Information
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.
Full Cornell course description (SP26)
Credits: 3
Prerequisites and Enrollment
Prerequisites: an algebra course covering rings and fields (e.g., MATH 4310 or MATH 4330) or permission of instructor.
Recorded Offerings
| Semester | Listed instructors | Course details |
|---|---|---|
| Spring 2026 | Mark Poor | Roster / syllabus |
Workload and General Advice
Student contributions have not been added yet. Consult the offering’s syllabus for assignments and assessment details.
Student Experiences
No testimonials yet.
Course information checked against Cornell’s Spring and Fall 2026 rosters on September 18, 2026. The listed semesters are verified examples, not a complete offering history.