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