Martin Davis Computability Complexity and Languages, 2nd edition - 2 - Elsevier 1994 ISBN: 9780122063824 Source: EBOOK