"Computability in Context: Computation and Logic in the Real World " - читать интересную книгу автора (S. Barry Cooper, Andrea Sorbi)