A Relevant Analysis of Natural Deduction
| dc.contributor.author | Ishtiaq, Samin | |
| dc.date.accessioned | 2013-11-27T10:04:14Z | |
| dc.date.available | 2013-11-27T10:04:14Z | |
| dc.date.issued | 2013-11-27 | |
| dc.identifier.issn | 1369-1961 | |
| dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/4507 | |
| dc.description | Submitted for the degree of Doctor of Philosophy | en_US |
| dc.language.iso | en | en_US |
| dc.relation.ispartofseries | Department of Computer Science Technical Report;762 - April 1999 | |
| dc.subject | type theory | en_US |
| dc.subject | natural deduction | en_US |
| dc.title | A Relevant Analysis of Natural Deduction | en_US |
| dc.type | Thesis | en_US |
