Book

Computability

by Richard L. Epstein, Walter A. Carnielli