Comments on "A deficiency of natural deduction"

H. Balsters

    Research output: Contribution to journalArticleAcademic

    53 Downloads (Pure)
    Original languageUndefined
    Pages (from-to)163-164
    JournalInformation processing letters
    Volume26
    Issue number3
    DOIs
    Publication statusPublished - 1987

    Keywords

    • IR-69929

    Cite this