Computability, complexity, and languages: fundamentals of theoretical computer science by Davis, Martin D., Weyuker, Elaine J. fromComputer science and applied mathematics 0 Type: Book