John R. Myhill
Original record- Institution
- Harvard University
- Year
- 1949
- Country
- United States
- MGP identifier
- 13713
Dissertation: A Semantically Complete Foundation for Logic and Mathematics
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Lynn Harold LoomisHarvard University · 1942
- Willard Van Orman QuineHarvard University · 1932
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Erik Maurice Ellentuck | University of California, Berkeley | 1962 | 5 |
| Andre Scedrov | State University of New York at Buffalo | 1981 | 11 |