MATH 4LT3
TOPICS IN LOGIC
Precise topics will vary; consult the department for current information. Possible topics include: axiomatic set theory, computability theory, model theory or proof theory. Three …
Fall 2025 · C01
Readings
- Computability And ComplexityISBN 9780262048620
Fall 2025 · C01
Precise topics will vary; consult the department for current information. Possible topics include: axiomatic set theory, computability theory, model theory or proof theory. Three …
Readings
- Computability And ComplexityThe Mit Press · ISBN 9780262048620
Sources
- Course catalogue ↗2026–2027
- Campus Store reading list ↗Fall 2025
- Course outline / syllabus ↗Fall 2025