LEADER 00924nam0-22003371i-450-
001 990000459050403321
005 20080910135545.0
010   $a0-521-23479-4
035   $a000045905
035   $aFED01000045905
035   $a(Aleph)000045905FED01
035   $a000045905
100   $a20020821d1980----km-y0itay50------ba
101 0 $aeng
105   $aa-------001yy
200 1 $aComputability and logic$fGeorge Boolos, Richard Jeffrey
205   $a2nd ed.
210   $aCambridge$cUniversity Press$d1980
215   $a285 p.$cill.$d24 cm
610 0 $aFunzioni calcolabili
610 0 $aLogica$aMatematica
676   $a511.3
700  1$aBoolos,$bGeorge$045067
701  1$aJeffrey,$bRichard$045068
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000459050403321
952   $a10 C 57$b1862 CCE$fDINEL
959   $aDINEL
996   $aComputability and logic$9334554
997   $aUNINA