Recursion Theory and Descriptive Complexity - Cyrus F. Nourani (Taylor and Francis, 2016)