Previous ed.: / by Martin D. Davis, Elaine J. Weyuker. 1983.
Computability, complexity, and languages : fundamentals of theoretical computer science by Martin Davis. ISBN 0122063821. Published by Academic in 1994. Publication and catalogue information, links to buy online and reader comments.