Daniel McGinn
Original record- Institution
- University of Wisconsin-Madison
- Year
- 2009
- Country
- United States
- MGP identifier
- 170366
Dissertation: Quantifier elimination for a class of intuitionistic theories
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Wim (Willem) Bastiaan Gijsbertus RuitenburgUniversiteit Utrecht · 1982
Students 0
No students recorded in this snapshot.