A book cover for Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing); Martin Davis; Computers & Technology;