@phdthesis{1309630,
    title = "Formalizing Constructive Analysis: A comparison of minimal systems and a study of uniqueness principles.",
    authorField = "Βαφειάδου, Γαρυφαλλιά",
    year = "2012",
    school = "Βιβλιοθήκη Σχολής Θετικών Επιστημών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών"
}