Provability, Computability and Reflection, Volume 62 by Lev D Beklemishev