Computability computable functions, logic, and the foundations of mathematics - Epstein, Richard L. 1947-; Carnielli, Walter Alexandre 1952-; Epstein, Richard L. 1947- (Wadsworth/Thomson Learning, 2000)