Eugenio Giovanni Omodeo
Original record- Institution
- New York University
- Year
- 1984
- Country
- United States
- MGP identifier
- 141812
Dissertation: Decidability and Proof Procedures for Set Theory with a Choice Operator
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Martin David DavisPrinceton University · 1950
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Andrea Formisano | Università degli Studi dell'Aquila and Università di Roma La Sapienza | 2000 | 1 |
| Alexandru Ioan Tomescu | Università degli Studi di Udine | 2012 | 5 |