A Relevant Analysis of Natural Deduction
dc.contributor.author | Ishtiaq, S.S. | |
dc.contributor.author | Pym, David | |
dc.date.accessioned | 2013-11-27T13:56:13Z | |
dc.date.available | 2013-11-27T13:56:13Z | |
dc.date.issued | 2013-11-27 | |
dc.identifier.issn | 1369-1961 | |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/4528 | |
dc.language.iso | en | en_US |
dc.relation.ispartofseries | Department of Computer Science Technical Report;745 - March 1998 | |
dc.subject | natural deduction | en_US |
dc.subject | linear logic | en_US |
dc.title | A Relevant Analysis of Natural Deduction | en_US |
dc.type | Technical Report | en_US |