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

N.G. Bruijn, de

Onderzoeksoutput: Boek/rapport › Rapport › Populair

65 Downloads (Pure)

Originele taal-2	Engels
Plaats van productie	Eindhoven
Uitgeverij	Technische Hogeschool Eindhoven
Aantal pagina's	7
Status	Gepubliceerd - 1975

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

Toegang tot 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 -