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

41 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