Peter Lietz
Original record- Institution
- Technische Universität Darmstadt
- Year
- 2004
- Country
- Germany
- MGP identifier
- 89412
Dissertation: From Constructive Mathematics to Computable Analysis via the Realizability Interpretation
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Alex K. SimpsonThe University of Edinburgh · 1994
- Thomas StreicherInstitution not recorded
Students 0
No students recorded in this snapshot.