By
Martin Davis, Courant Institute of Mathematical Sciences of New York University, New York, U.S.A.
Ron Sigal, Consultant, New Haven, Connecticut, U.S.A.
Elaine Weyuker, AT&T Labs Research, Florham Park, New Jersey, U.S.A.
Description
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata.
It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic,
Complexity, and Unsolvability.
Audience:
Junior, senior, and graduate level students in Computability, Complexity, and Languages or Introduction to Theoretical Computer Science courses.
