Chapter

Handbook of Philosophical Logic, 2nd Edition

Volume 13 of the series Handbook of Philosophical Logic pp 189-360

Provability Logic

  • Sergei N. Artemov
  • , Lev D. Beklemishev

* Final gross prices may vary according to local VAT.

Get Access