Lincoln Wallen
Original record- Institution
- The University of Edinburgh
- Year
- 1988
- Country
- United Kingdom
- MGP identifier
- 167897
Dissertation: Automated Deduction in Non-Classical Logic
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Alan Richard BundyUniversity of Leicester · 1971
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Katherine Eastaughffe | Not recorded | — | 0 |
| Ralph Loader | Not recorded | — | 0 |
| Alexis Richardson | Not recorded | — | 0 |
| Jussi Westergren | Not recorded | — | 0 |