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