Theodoros Barbakos: student profile
msc
| Enrolled in: | October 2012 |
|---|---|
| Stopped in: | June 2016 |
Course participations
- Λ2. Computability (2012-2013, fall semester)
- Λ3. Algorithms and complexity I (2012-2013, fall semester)
- Λ4. Algorithms and complexity II (2012-2013, fall semester)
- Λ15. Proof theory (2012-2013, fall semester)
- Λ99Γ. Modal logic (2012-2013, fall semester)
- Λ1. Mathematical logic (2012-2013, spring semester)
- Μ6. Set theory (2012-2013, spring semester)
- Λ13Ξ. Intuitionistic logic and constructive mathematics (2012-2013, spring semester)
- M12. Model theory (2013-2014, fall semester)
- Λ4. Algorithms and complexity II (2013-2014, fall semester)
- Λ3. Algorithms and complexity I (2013-2014, fall semester)
- Λ2. Computability (2013-2014, fall semester)
- Λ2. Computability (2015-2016, fall semester)
- Λ4. Algorithms and complexity II (2015-2016, fall semester)