"Computability in context. Computation and logic in the real world" - читать интересную книгу автора (Cooper S.B., Sorbi A. (eds.) )