Don Cook Jensen
Original record- Institution
- University of Southern California
- Year
- 1971
- Country
- United States
- MGP identifier
- 8974
Dissertation: Proof Restriction Functions for Infinitely Axiomatized Theories
Advisor 1
- Andrzej EhrenfeuchtUniwersytet Warszawski · 1960
Students 0
No students recorded in this snapshot.