Pushpa Kumari Satinder
Original record- Institution
- Case Western Reserve University
- Year
- 1971
- Country
- United States
- MGP identifier
- 147450
Dissertation: Completeness and Cut-Elimination in Constructive Infinitary Arithmetic
Advisor 1
- Clement Fisher KentMassachusetts Institute of Technology · 1960
Students 0
No students recorded in this snapshot.