MATH 6810
Logic
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.
spring 2026
Readings
- van den Dries, Lou, Mathematical Logic Lecture Notes (unpublished) — available through Canvas
Prerequisites & course information
an algebra course covering rings and fields (e.g., MATH 4310 or MATH 4330) or permission of instructor.
Sources
- Course catalogue ↗2026-2027
- Official public course syllabus or department reading list ↗spring 2026