Nuel Dinsmore Belnap, Jr.
Original record- Institution
- Yale University
- Year
- 1960
- Country
- United States
- MGP identifier
- 106119
Dissertation: The Formalization of Entailment
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Alan Ross AndersonYale University · 1955
Students 17
| Name | Institution | Year | Students |
|---|---|---|---|
| G. Aldo Antonelli | University of Pittsburgh | 1992 | 1 |
| Daniel Harry Cohen | Indiana University | 1983 | 0 |
| Jon Michael Dunn | University of Pittsburgh | 1966 | 18 |
| Jay Lazar Garfield | University of Pittsburgh | 1986 | 0 |
| James Garson | University of Pittsburgh | 1969 | 0 |
| Carlo Giannoni | University of Pittsburgh | 1966 | 0 |
| Dorothy Grover | University of Pittsburgh | 1970 | 0 |
| John F. Horty | University of Pittsburgh | 1986 | 1 |
| Kohei Kishida | University of Pittsburgh | 2010 | 0 |
| Michael Kremer | University of Pittsburgh | 1986 | 4 |
| Philip Kremer | University of Pittsburgh | 1994 | 1 |
| Ruth Manor | University of Pittsburgh | 1971 | 0 |
| Robert Kenneth Meyer | Not recorded | — | 4 |
| Alasdair Ian Fenton Urquhart | University of Pittsburgh | 1973 | 17 |
| Kent Wilson | University of Pittsburgh | 1969 | 0 |
| Peter Woodruff | University of Pittsburgh | 1969 | 0 |
| Ming Xu | University of Pittsburgh | 1996 | 0 |