mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Theses » PhD » Garyfallia Vafeiadou Anonymously browsing from 3.91.157.213 at 21:28:15, 21-04-2019. login

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

Download

Download thesis.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2019 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.