Ville Nurmi
Original record- Institution
- Helsingin yliopisto
- Year
- 2009
- Country
- Finland
- MGP identifier
- 173540
Dissertation: Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Jouko Antero VäänänenVictoria University of Manchester · 1977
Students 0
No students recorded in this snapshot.