Comments on "A deficiency of natural deduction"

H. Balsters

Research output: Contribution to journal › Article › Academic

156 Downloads (Pure)

Original language	Undefined
Pages (from-to)	163-164
Journal	Information processing letters
Volume	26
Issue number	3
DOIs	https://doi.org/10.1016/0020-0190(87)90055-X
Publication status	Published - 1987

Keywords

@article{1c8ba750070941d8b4461ff80ec883f4,

title = "Comments on {"}A deficiency of natural deduction{"}",

keywords = "IR-69929",

author = "H. Balsters",

note = "J.G. Wiltink , A deficiency of natural deduction. Inform. Process. Lett. 25 4 (1987), pp. 233–234. ",

year = "1987",

doi = "10.1016/0020-0190(87)90055-X",

language = "Undefined",

volume = "26",

pages = "163--164",

journal = "Information processing letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - Comments on "A deficiency of natural deduction"

AU - Balsters, H.

N1 - J.G. Wiltink , A deficiency of natural deduction. Inform. Process. Lett. 25 4 (1987), pp. 233–234.

PY - 1987

Y1 - 1987

KW - IR-69929

U2 - 10.1016/0020-0190(87)90055-X

DO - 10.1016/0020-0190(87)90055-X

M3 - Article

SN - 0020-0190

VL - 26

SP - 163

EP - 164

JO - Information processing letters

JF - Information processing letters

IS - 3

ER -