Mathematical theory of computation. (English) Zbl 0353.68066

McGraw-Hill Computer Science Series. New York etc.: McGraw-Hill Book Comp. X, 448 p. $ 19.50 (1974).


68-02 Research exposition (monographs, survey articles) pertaining to computer science
68Q45 Formal languages and automata
68N01 General topics in the theory of software
03B10 Classical first-order logic
03D05 Automata and formal grammars in connection with logical questions
65K05 Numerical mathematical programming methods
03D10 Turing machines and related notions