Roy Thomas Cook
Original record- Institution
- The Ohio State University
- Year
- 2000
- Country
- United States
- MGP identifier
- 286493
Dissertation: Logic-as-Modeling: A New Perspective on Formalization
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Stewart ShapiroState University of New York at Buffalo · 1978
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Haidar Al-Dhalimy | University of Minnesota - Twin Cities | 2017 | 0 |
| Shay Allen Logan | University of Minnesota - Twin Cities | 2015 | 0 |