Problems in the Logic of Provability door L.D. Beklemishev