Elements of the theory of computation

• Main Authors: Lewis, Harry R. (Author), Papadimitriou, Christos H., 1949- (Author)
• Format: Book
• Language: English
• Published: Upper Saddle River Prentice-Hall 1998
• Edition: 2nd ed.
• Subjects: Λογική, Συμβολική και μαθηματική; Υπολογιστική