"Provability, Computability and Reflection, Volume 83 " - читать интересную книгу автора (Lev D. Beklemishev)