Normal Gentzen deductions in the classical case

A. Palmigiano

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Original languageUndefined
    Title of host publicationProceedings of the ESSLLI 99 Student Session
    Place of PublicationUtrecht
    Pages111-121
    Publication statusPublished - 4 Feb 1999

    Keywords

    • METIS-119717

    Cite this