Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science by Davis, Martin; Sigal, Ron; Weyuker, Elaine J. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less