Andrea Sorbi Complexity, Logic, and Recursion Theory - Taylor and Francis 1997 ISBN: 9780429187490 Source: EBOOK