Home » Second Level Degree » Courses » MATHEMATICAL LOGIC 2
Second Level Degree in Mathematics
Jump second level menu- Courses
- Timetable
- Exams
- Individual study program
- Student seminars
- Thesis
- Thesis Archive
- Graduation dates
- Contacts
MATHEMATICAL LOGIC 2 - 6 CFU
Teacher
Samuele Maschio
Scheduled Period
I Year - 1 Semester | 04/10/2021 - 15/01/2022
Hours: 48 (16 esercitazione, 32 lezione)
Prerequisites
Target skills and knowledge
Examination methods
Assessment criteria
Course contents
Planned learning activities and teaching methods
Additional notes about suggested reading
Textbooks (and optional supplementary readings)
- Oosten, Jaap van, Realizability an introduction to its categorical side, Amsterdam [etc, Elsevier, 2008.
- MacLane, Saunders and Moerdijk, Ieke, Sheaves in geometry and logic a first introduction to topos theory, New York [etc, Springer, 1992.
- Cutland, Nigel, Computability, Cambridge University Press, 1980.
- MacLane, Saunders, Categories for the working mathematician, New York, NY, Springer, 1971.