"Computability: computable functions, logic, and the foundations of mathematics" - читать интересную книгу автора (Richard L. Epstein, Walter A Carnielli)