LEADER 01007nam0-22003371i-450- 001 990001124570403321 005 20120626161451.0 035 $a000112457 035 $aFED01000112457 035 $a(Aleph)000112457FED01 035 $a000112457 100 $a20001205d1981----km-y0itay50------ba 101 0 $aeng 102 $aUS 200 1 $a<>basis for theoretical computer science$fMichael A. Arbib, A. J. Kfoury, Robert N. Moll 210 $aNew York [etc.]$cSpringer-Verlag$d1981 215 $aVIII, 220 p.$d25 cm 225 1 $aTexts and monographs in computer science 610 0 $aComputer science$aManuali 700 1$aArbib,$bMichael A.$f<1940- >$013645 701 1$aMoll,$bRobert N.$054062 701 1$aKfoury,$bA. J.$054061 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001124570403321 952 $a7-B-13$b20781$fMA1 959 $aMA1 962 $a68-01 962 $a94-01 996 $aBasis for theoretical computer science$9345123 997 $aUNINA