PhD thesis of Garyfallia Vafeiadou
Formalizing Constructive Analysis: A Comparison of Minimal Systems and A Study of Uniqueness Principles
Supervisor: Joan Rand Moschovakis
Defended: July 2, 2012.Scientific committee
- Constantinos Dimitracopoulos
- Apostolos Giannopoulos
- Eleftherios Kirousis
- Georgios Koletsos
- Iris Loeb
- Joan Rand Moschovakis
- Yiannis N. Moschovakis