LEADER 01603nam0 2200361 i 450 
001 SUN0052028
005 20160118123416.353
010   $a35-406-3648-X$d0.00
100   $a20060912d1998       |0engc50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $a*Metamathematics of first-order arithmetic$fPetr Hájek, Pavel Pudlák
205   $aSecond printing
210   $aBerlin$cSpringer$d1998
215   $aXIV, 460 p.$d24 cm.
410  1$1001SUN0050817$12001 $a*Perspectives in mathematical logic$1210  $aBerlin$cSpringer$d1987-1997.
606   $a03D15$xComplexity of computation [MSC 2020]$2MF$3SUNC023630
606   $a11U09$xModel theory (number-theoretic aspects) [MSC 2020]$2MF$3SUNC023789
606   $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$2MF$3SUNC024401
606   $a03H15$xNonstandard models of arithmetic [MSC 2020]$2MF$3SUNC024402
606   $a11U10$xNonstandard arithmetic (number-theoretic aspects) [MSC 2020]$2MF$3SUNC024440
620   $dBerlin$3SUNL000066
700  1$aHájek$b, Petr$3SUNV040915$048949
701  1$aPudlák$b, Pavel$3SUNV040916$055693
712   $aSpringer$3SUNV000178$4650
790  1$aHajek, Petr$zHájek, Petr$3SUNV050746
790  1$aPudlak, Pavel$zPudlák, Pavel$3SUNV050748
801   $aIT$bSOL$c20201012$gRICA
912   $aSUN0052028
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1807        $e08   4491      I       20060912            
996   $aMetamathematics of first-order arithmetic$979056
997   $aUNICAMPANIA