What is mathematical logic? A survey

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

    Original languageEnglish
    Title of host publicationProof, Computation and Agency
    Subtitle of host publicationLogic at the Crossroads
    EditorsJohan van Benthem, Amitabha Gupta, Rohit Parikh
    Place of PublicationBerlin, Germany
    PublisherSpringer
    Chapter1
    Pages3-17
    Number of pages15
    ISBN (Print)9789400700796
    DOIs
    Publication statusPublished - 2011

    Cite this