Computability
Richard L. Epstein and Walter A. Carnielli
The classic presentation of the theory of computable functions in the context of the foundations of mathematics.Richard L. Epstein and Walter A. Carnielli
The classic presentation of the theory of computable functions in the context of the foundations of mathematics.