John K. Slaney
Original record- Institution
- Australian National University
- Year
- 1980
- Country
- Australia
- MGP identifier
- 179718
Dissertation: Computers and relevant logic : a project in computing matrix model structures for propositional logics
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Robert Kenneth MeyerInstitution not recorded
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Jacques M. Riche | Australian National University | 1992 | 0 |
| Andrew Slater | Australian National University | 2004 | 0 |
| Timothy John Surendonk | Australian National University | 1998 | 1 |
| Paul Wong | Australian National University | 2004 | 0 |