Elements of the theory of computation January 1998 Machine theory.; Formal languages.; Computational complexity.; Logic, Symbolic and mathematical. ISBN 0132624788 View on Amazon Lists featuring this book (1)