00814nam0-22002891i-450-990001000410403321000100041FED01000100041(Aleph)000100041FED0100010004120000920d1957----km-y0itay50------baengRecursive Number TheoryA Development of Recursive Arithmetic in a Logic-Free Equation Calculusby R.L. GoodsteinAmsterdamNorth-Holland1957XII, 190 p.22 cmLogicaRicorsività160Goodstein,R.l.880ITUNINARICAUNIMARCBK9900010004104033217-078431FI1FI1Recursive number theory107946UNINAING01