TY - BOOK AU - Arbib,Michael A. AU - Kfoury,Assaf J. AU - Moll,Robert N. TI - A basis for theoretical computer science T2 - The AKM Series in Theoretical Computer Science SN - 0387905731 PY - 1981/// CY - New York PB - Springer-Verlag KW - Informatyka KW - kaba KW - Języki formalne ER -