LEADER 00854nam0-2200325---450-
001 990008751770403321
005 20100719173252.0
010   $a9781846282973
035   $a000875177
035   $aFED01000875177
035   $a(Aleph)000875177FED01
035   $a000875177
100   $a20081110d2006----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $aa-------001yy
200 1 $aTheory of computation$fDexter C. Kozen
210   $aLondon$cSpringer$dc2006
215   $axiii, 418 p.$cill.$d24 cm
225 1 $aTexts in computer science
610 0 $aLogica
610 0 $aRicorsività
700  1$aKozen,$bDexter C.$065955
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990008751770403321
952   $a7-318$bD.S.F. 9086$fFI1
959   $aFI1
996   $aTheory of computation$9719902
997   $aUNINA