A deficiency of natural deduction

J.G. Wiltink

Research output: Contribution to journal › Article › Academic › peer-review

5 Citations (Scopus)

Abstract

No abstract.

Original language	English
Pages (from-to)	233-234
Number of pages	2
Journal	Information Processing Letters
Volume	25
Issue number	4
DOIs	https://doi.org/10.1016/0020-0190(87)90166-9
Publication status	Published - 1987

@article{5ec2476c1d6049eebd9d5900c9bf8fc3,

title = "A deficiency of natural deduction",

abstract = "No abstract.",

author = "J.G. Wiltink",

year = "1987",

doi = "10.1016/0020-0190(87)90166-9",

language = "English",

volume = "25",

pages = "233--234",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "4",

}