Comments on "A deficiency of natural deduction"

Share/Save/Bookmark

Balsters, H. (1987) Comments on "A deficiency of natural deduction". Information Processing Letters, 26 (3). pp. 163-164. ISSN 0020-0190

open access
[img]
Preview
PDF
86kB
Item Type:Article
Additional information:J.G. Wiltink , A deficiency of natural deduction. Inform. Process. Lett. 25 4 (1987), pp. 233–234.
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

 

Repository Staff Only: item control page