"Computability: Computable Functions, Logic, and the Foundations of Mathematics, 3rd Edition " - читать интересную книгу автора (Richard L. Epstein, Walter A. Carnielli)