TY - THES
TI - Formalizing Constructive Analysis: A comparison of minimal systems and a study of uniqueness principles.
AU - Βαφειάδου Γαρυφαλλιά
PY - 2012
C1 - Βιβλιοθήκη Σχολής Θετικών Επιστημών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
ER -