An algol program for deciding derivability in minimal propositional calculus with implication and conjunction over a three letter alphabet

N.G. Bruijn, de

Research output: Book/Report › Report › Popular

65 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Hogeschool Eindhoven
Number of pages	7
Publication status	Published - 1975

Name	Eindhoven University of Technology : Dept of Mathematics : memorandum
Volume	7506

Access to Document

@book{6bab80ae69324a7ea8ec61f8d6fd7211,

title = "An algol program for deciding derivability in minimal propositional calculus with implication and conjunction over a three letter alphabet",

author = "{Bruijn, de}, N.G.",

year = "1975",

language = "English",

series = "Eindhoven University of Technology : Dept of Mathematics : memorandum",

publisher = "Technische Hogeschool Eindhoven",

}

TY - BOOK

T1 - An algol program for deciding derivability in minimal propositional calculus with implication and conjunction over a three letter alphabet

AU - Bruijn, de, N.G.

PY - 1975

Y1 - 1975

M3 - Report

T3 - Eindhoven University of Technology : Dept of Mathematics : memorandum

BT - An algol program for deciding derivability in minimal propositional calculus with implication and conjunction over a three letter alphabet

PB - Technische Hogeschool Eindhoven

CY - Eindhoven

ER -