LEADER 00958nam0-22003491i-450-
001 990001320210403321
010   $a3-540-50632-2
035   $a000132021
035   $aFED01000132021
035   $a(Aleph)000132021FED01
035   $a000132021
100   $a20000920d1993----km-y0itay50------ba
101 0 $aeng
200 1 $aMetamathematics of First-Order Arithmetic$fPetr Hajek, Pavel Pudląk.
210   $aBerlin$cSpringer-Verlag$dc1993
215   $aXIV, 460 p.$d25 cm
610 0 $aAritmetica$aFondamenti
676   $a513.01
700  1$aHajek,$bPetr$048949
702  1$aPudlak,$bPavel
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001320210403321
952   $a124-B-10$b10782$fMA1
952   $aC-48-(18$b10627$fMA1
952   $a124-L-17$b12384$fMA1
959   $aMA1
962   $a03F30
962   $a11U10
996   $aMetamathematics of first-order arithmetic$9342148
997   $aUNINA
DB    $aING01