LEADER 01366nam0 2200313 i 450 001 VAN0055700 005 20240219040913.377 010 $a978-01-985321-3-2 100 $a20061110d1991 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aModels of Peano arithmetic$fRichard Kaye 210 $aNew York$cClarendon$cOxford$d1991 215 $aX, 292 p.$d24 cm 410 1$1001VAN0029498$12001 $aOxford logic guides$1210 $aOxford$cClarendon$1300 $aL'editore varia in: Oxford university$v15 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$3VANC024401$2MF 606 $a03C62$xModels of arithmetic and set theory [MSC 2020]$3VANC024421$2MF 620 $aUS$dNew York$3VANL000011 700 1$aKaye$bRichard$3VANV044190$059866 712 $aClarendon $3VANV107988$4650 712 $aOxford university $3VANV107944$4650 801 $aIT$bSOL$c20240223$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0055700 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2158 $e08 3847 I 20061110 996 $aModels of Peano arithmetic$9383102 997 $aUNICAMPANIA