%0 Book
%A by Richard L. Epstein and Walter A. Carnielli
%T Computability : computable functions, logic, and the foundations of mathematics
%U /book/101373022/Computability-computable-functions-logic-and-t/