Computability: Computable Functions, Logic, and the Foundations of Mathematics

Name: Computability: Computable Functions, Logic, and the Foundations of Mathematics
Author: Richard L. Epstein, Walter A Carnielli