LEADER 00831nam0-22003131i-450-
001 990000964420403321
010   $a0-521-20402-X
035   $a000096442
035   $aFED01000096442
035   $a(Aleph)000096442FED01
035   $a000096442
100   $a20000920d1974----km-y0itay50------ba
101 0 $aeng
200 1 $aComputability and Logic$fGeorge Boolos, Richard Jeffrey
210   $aCambridge$cCambridge University Press$d1974
215   $aX, 262 p.$d24 cm
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aBoolos,$bGeorge$045067
702  1$aJeffrey,$bRichard
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000964420403321
952   $a7-151$b9551$fFI1
959   $aFI1
996   $aComputability and Logic$9358764
997   $aUNINA
DB    $aING01