01007nam0-22003371i-450-99000112457040332120120626161451.0000112457FED01000112457(Aleph)000112457FED0100011245720001205d1981----km-y0itay50------baengUS<<A >>basis for theoretical computer scienceMichael A. Arbib, A. J. Kfoury, Robert N. MollNew York [etc.]Springer-Verlag1981VIII, 220 p.25 cmTexts and monographs in computer scienceComputer scienceManualiArbib,Michael A.<1940- >13645Moll,Robert N.54062Kfoury,A. J.54061ITUNINARICAUNIMARCBK9900011245704033217-B-1320781MA1MA168-0194-01Basis for theoretical computer science345123UNINA