"Recursive number theory: A development of recursive arithmetic in a logic-free equation calculus" - читать интересную книгу автора (Lev D. Beklemishev)