LEADER 01304nam0-22004691i-450-
001 990001176540403321
010   $a3-540-63648-X
035   $a000117654
035   $aFED01000117654
035   $a(Aleph)000117654FED01
035   $a000117654
100   $a20000920d1998----km-y0itay50------ba
101 0 $aeng
200 1 $aMetamathematics of first-order arithmetic$fPetr Hajek, Pavel Pudlak
205   $aSecond printing
210   $aBerlin [etc.]$cSpringer$d1998
215   $axiv, 460 p.$d24 cm
225 1 $aPerspectives in mathematical logic
300   $a2nd printing 1998 of the first edition 1993
610 0 $aLogica matematica
610 0 $aAritmetica del i ordine
610 0 $aComplessita di computabilita
610 0 $aClassi di complessita
610 0 $aTeoria dei modelli
610 0 $aAritmetica non standard
676   $a511.3
700  1$aHajek,$bPetr$048949
702  1$aPudlak,$bPavel
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001176540403321
952   $aC-48-(25$b16048$fMA1
959   $aMA1
962   $a03-XX
962   $a03F30
962   $a03D15
962   $a68Q15
962   $a11U09
962   $a11U10
996   $aMetamathematics of first-order arithmetic$9342148
997   $aUNINA
DB    $aING01