Back to University of Twente portal
Comments on "A deficiency of natural deduction"
Balsters, H. (1987) Comments on "A deficiency of natural deduction". Information Processing Letters, 26 (3). pp. 163-164. ISSN 0020-0190
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 84Kb |
| Item Type: | Article |
| Copyright: | © 1987 Elsevier Science |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Link to this item: | http://purl.utwente.nl/publications/69929 |
| Official URL: | http://dx.doi.org/10.1016/0020-0190(87)90055-X |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page