Original language | Undefined/Unknown |
---|---|
Title of host publication | Mathematical Problems from Applied Logic I, Logics for the XXIst Century |
Editors | D.M. Gabbay, S.S. Congarov |
Place of Publication | New York |
Publisher | Springer |
Pages | 77-136 |
Number of pages | 60 |
Publication status | Published - 2006 |
Problems in the Logic of Provability
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic