LEADER 00777nam0-22002531i-450-
001 990001262120403321
035   $a000126212
035   $aFED01000126212
035   $a(Aleph)000126212FED01
035   $a000126212
100   $a20000920d1964----km-y0itay50------ba
101 0 $aeng
200 1 $aRecursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus$fby Goodstein
210   $aAmsterdam$cNorth-Holland$d1964
225 1 $aStudies in logic and the foundations of mathematics
700  1$aGoodstein,$bR.$0880
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001262120403321
952   $aC-30-(27-2ED$b11003$fMA1
959   $aMA1
996   $aRecursive number theory$9107946
997   $aUNINA
DB    $aING01