LEADER 00946nam0-2200337---450-
001 990009412370403321
005 20110809164443.0
010   $a978-1-84816-245-7
010   $a1-84816-245-6
035   $a000941237
035   $aFED01000941237
035   $a(Aleph)000941237FED01
035   $a000941237
100   $a20110809d2011----km-y0itay50------ba
101 0 $aeng
102   $aGB
105   $ay---a---001yy
200 1 $aComputability in context$ecomputation and logic in the real world$feditors S. Barry Cooper, Andrea Sorbi
210   $aLondon$cImperial College Press$d2011
215   $aviii, 410 p.$d24 cm
610 0 $aLogica
610 0 $aRicorsività
702  1$aCooper,$bS. Barry
702  1$aSorbi,$bAndrea
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990009412370403321
952   $a7-322$bD.S.F. 9452$fFI1
959   $aFI1
996   $aComputability in context$9759201
997   $aUNINA