| Title | Comments on "A deficiency of natural deduction" |
|---|---|
| Published in | Information Processing Letters, Vol. 26, p.163-164. ISSN 0020-0190. |
| Author | Balsters, H. |
| Date | 1987 |
| Type | article |
| Publisher | North-Holland |
| Publication | http://purl.utwente.nl/publications/69929 |
| Persistent Identifier | URN:NBN:NL:UI:28-69929 |
| Metadata | XML |
| Repository | University of Twente |
Go to page top
Go back to contents
Go back to site navigation