Exact finite models for minimal propositional calculus over a finite alphabet

N.G. Bruijn, de

Research output: Book/ReportReportAcademic

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

Publication series

NameEUT report. WSK, Dept. of Mathematics and Computing Science
Volume75-WSK-02
ISSN (Print)0167-9708

Cite this