Problems in the Logic of Provability

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Original languageUndefined/Unknown
    Title of host publicationMathematical Problems from Applied Logic I, Logics for the XXIst Century
    EditorsD.M. Gabbay, S.S. Congarov
    Place of PublicationNew York
    PublisherSpringer
    Pages77-136
    Number of pages60
    Publication statusPublished - 2006

    Cite this