Mauro Ferrari
Original record- Institution
- Università degli Studi di Milano
- Year
- 1997
- Country
- Italy
- MGP identifier
- 144260
Dissertation: Strongly Constructive Formal Systems
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Pierangelo Laurea MiglioliInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Stephan M. Scheele | Not recorded | — | 0 |