Borger Egon Ed. Computation theory and logic - Berlin Springer-Verlag 1987 - 442p. cm. - Lecture notes in computer science; 270 . Standard No.: 67786 Source: Textual Subjects--Topical Terms: Computer science Dewey Class. No.: D65,8(B):(R1), M7