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