Domenico Aldo Cantone
Original record- Institution
- New York University
- Year
- 1987
- Country
- United States
- MGP identifier
- 161767
Dissertation: A decision procedure for a class of unquantified formulae of set theory involving the powerset and singleton operators
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Jacob Theodore (Jack) SchwartzYale University · 1951
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Simone Faro | Università di Catania | 2005 | 0 |
| Elisa Pappalardo | University of Florida and Università di Catania | 2012 | 0 |