Font size: Αα Αα Αα hide gadgets
You are here: Theses » PhD » Garyfallia Vafeiadou

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 thesis.


Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.