Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
Martin D. Davis
609 pages, Hardcover
ISBN: 0122063821
ISBN13:
Language: English
Publish: February 17, 1994
This book is a rigorous but readable introduction to some of the central topics in theoretical computer science. The main subjects are computability theory, formal languages, logic and automated deduction, computational complexity (including NP-completeness), and programming language semantics.