LEADER 00814nam0-22002891i-450- 001 990001000410403321 035 $a000100041 035 $aFED01000100041 035 $a(Aleph)000100041FED01 035 $a000100041 100 $a20000920d1957----km-y0itay50------ba 101 0 $aeng 200 1 $aRecursive Number Theory$eA Development of Recursive Arithmetic in a Logic-Free Equation Calculus$fby R.L. Goodstein 210 $aAmsterdam$cNorth-Holland$d1957 215 $aXII, 190 p.$d22 cm 610 0 $aLogica 610 0 $aRicorsività 676 $a160 700 1$aGoodstein,$bR.l.$0880 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001000410403321 952 $a7-078$b431$fFI1 959 $aFI1 996 $aRecursive number theory$9107946 997 $aUNINA DB $aING01