LEADER 01092nam0-22003851i-450-
001 990010091970403321
005 20160720103921.0
010   $a978-0-521-70146-4
035   $a001009197
035   $aFED01001009197
035   $a(Aleph)001009197FED01
035   $a001009197
100   $a20160720d2007----km-y0itaa50------ba
101 0 $aeng
102   $aUS
105   $aa-------001yy
200 1 $aComputability and logic$fGeorge S. Boolos, John P. Burgess, Richard C.n Jeffrey
205   $a5th ed.
210   $aCambridge$cCambridge University Press$d@2007
215   $axiv, 350 p.$d26 cm
305   $areprinted 2008, 2009, 2010
610 0 $aMatematica logica
610 0 $aMatematica simbolica
610 0 $aFunzioni calcolabili
676   $a511.3
700  1$aBoolos,$bGeorge S.
701  1$aBurgess,$bJohn P.
701  1$aJeffrey,$bRichard C.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990010091970403321
952   $a511.3-BOO-1$bInt. 2016/177$fSC1
952   $a511.3-BOO-1A$bInt. 2016/178$fSC1
959   $aSC1
997   $aUNINA