Computability : computable functions, logic, and the foundations of mathematics - Epstein, Richard L., 1947- (Advanced Reasoning Forum, 2008)