Exact finite models for minimal propositional calculus over a finite alphabet

N.G. Bruijn, de

Research output: Book/Report › Report › Academic

100 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

Access to Document

  • 252895Final published version, 1.3 MB

    Cite this