Manna, Zohar 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 175 Documents MSC: 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 PDF BibTeX XML OpenURL