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

[img]
Preview
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

 

Repository Staff Only: item control page