TY - BOOK AU - Borger Egon Ed. TI - Computation theory and logic T2 - Lecture notes in computer science; 270 U1 - D65,8(B):(R1), M7 PY - 1987/// CY - Berlin PB - Springer-Verlag KW - Computer science ER -