Winter Semester
L1. Mathematical Logic: https://eclass.uoa.gr/courses/PHS625/
L2. Set Theory: https://eclass.uoa.gr/courses/PHS631/
L4. History of Logic: https://eclass.uoa.gr/courses/PHS634/
L7. Philosophy of Logic/Philosophical Logic: https://eclass.uoa.gr/courses/PHS647/
L9. Philosophy of Science: https://eclass.uoa.gr/courses/PHS736/
HPL4. Topics in History of Modern Logic: https://eclass.uoa.gr/courses/PHS651/
LFM3. Category theory: https://eclass.uoa.gr/courses/PHS653/
ML3. Topics in Logic I: https://eclass.uoa.gr/courses/PHS655/
Spring Semester
L3. Computability: https://eclass.uoa.gr/courses/PHS632/
L5. Modal Logic: https://eclass.uoa.gr/courses/PHS630/
L6. Model theory: https://eclass.uoa.gr/courses/PHS633/
L8. Philosophy of Mathematics: https://eclass.uoa.gr/courses/PHS648/
HPL1. Deontic Logic: https://eclass.uoa.gr/courses/PHS635/
HPL2. Topics in History of Ancient and Medieval Logic: https://eclass.uoa.gr/courses/PHS649/
LFM1. Constructive Mathematics: https://eclass.uoa.gr/courses/PHS636/
ML1. Proof Theory: https://eclass.uoa.gr/courses/PHS639/
ML5. Topics in Logic II: https://eclass.uoa.gr/courses/PHS656/