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/ReportReportPopular

37 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Number of pages7
Publication statusPublished - 1975

Publication series

NameEindhoven University of Technology : Dept of Mathematics : memorandum
Volume7506

Cite this

Bruijn, de, N. G. (1975). An algol program for deciding derivability in minimal propositional calculus with implication and conjunction over a three letter alphabet. (Eindhoven University of Technology : Dept of Mathematics : memorandum; Vol. 7506). Technische Hogeschool Eindhoven.