LEADER 01154nam0-22003491i-450-
001 990001028700403321
035   $a000102870
035   $aFED01000102870
035   $a(Aleph)000102870FED01
035   $a000102870
100   $a20000920d1978----km-y0itay50------ba
101 0 $aeng
200 1 $aDiagonal Methods and Strong Cuts in Models of Arithmetic$fKenneth Mc Aloon
210   $aAmsterdam [etc.]$cNorth-Holland$d1978
215   $a171-297$d22 cm
225 1 $aStudies in logic and the foundations of mathematics$vvol. 96
300   $aD.F. da: Logic Colloquium '77 : Proceedings of the colloquium held in Wroclaw, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff Paris
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aMcAloon,$bKenneth$048965
702  1$aMacintyre,$bAngus
702  1$aPacholski,$bLeszek
702  1$aParis,$bJeff
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001028700403321
952   $a7-215$b11111$fFI1
959   $aFI1
996   $aDiagonal Methods and Strong Cuts in Models of Arithmetic$9339307
997   $aUNINA
DB    $aING01