Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Elaine J. Weyuker. (Computer science and applied mathematics)
Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Elaine J. Weyuker.