00777nam0-22002531i-450-990001262120403321000126212FED01000126212(Aleph)000126212FED0100012621220000920d1964----km-y0itay50------baengRecursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculusby GoodsteinAmsterdamNorth-Holland1964Studies in logic and the foundations of mathematicsGoodstein,R.880ITUNINARICAUNIMARCBK990001262120403321C-30-(27-2ED11003MA1MA1Recursive number theory107946UNINAING01