Meta-mathematical aspects of Martin-Löf'stype theory

S. drs. Valentino

Research output: Thesis › Doctoral thesis 3 (Research UU / Graduation NOT UU)

Original languageUndefined/Unknown
QualificationDoctor of Philosophy
Awarding Institution
  • Universteit Nijmegen
Supervisors/Advisors
  • Visser, Albert, Member of committee
Award date22 Jun 2000
Publication statusPublished - 22 Jun 2000

Cite this