David Pym
Original record- Institution
- The University of Edinburgh
- Year
- 1990
- Country
- United Kingdom
- MGP identifier
- 237819
Dissertation: Proofs, Search and Computation in General Logic.
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Furio HonsellScuola Normale Superiore di Pisa · 1983
- Gordon D. PlotkinThe University of Edinburgh · 1972
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Jules Bean | Not recorded | — | 0 |