Presentation of natural deduction

    Research output: Book/ReportReportPopular

    79 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Hogeschool Eindhoven
    Number of pages16
    Publication statusPublished - 1977

    Publication series

    NameEindhoven University of Technology : Dept of Mathematics : memorandum
    Volume7716

    Cite this