What is a proof?

    Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProof, Computation and Agency: Logic at the Crossroads
    EditorsJohan van Benthem, Amitabha Gupta, Rohit Parikh
    Place of PublicationBerlin Germany
    PublisherSpringer
    Pages35 - 52
    Number of pages18
    ISBN (Print)9789400700796
    DOIs
    Publication statusPublished - 2011

    Cite this