"Formal systems and recursive functions: Proceedings Oxford, 1963" - читать интересную книгу автора (Lev D. Beklemishev)