"Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (Reuben Louis Goodstein)