LEADER 00951nam a2200289 i 4500 001 991001152309707536 005 20020507184217.0 008 930604s1991 uk ||| | eng 020 $a019853213X 035 $ab1080805x-39ule_inst 035 $aLE01307854$9ExL 040 $aDip.to Matematica$beng 082 0 $a511.3 084 $aAMS 03C62 100 1 $aKaye, Richard$059866 245 10$aModels of Peano arithmetic /$cRichard Kaye 260 $aOxford :$bClarendon Press,$c1991 300 $a292 p. ;$c24 cm 490 0 $aOxford logic guides ;$v15 650 0$aModel theory 650 0$aArithmetic$xFoundations 907 $a.b1080805x$b23-02-17$c28-06-02 912 $a991001152309707536 945 $aLE013 03C KAY11 (1991)$g1$i2013000146812$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10913105$z28-06-02 996 $aModels of Peano arithmetic$9383102 997 $aUNISALENTO 998 $ale013$b01-01-93$cm$da $e-$feng$guk $h0$i1