Математическая логика и теория алгоритмов (Блатов И.А.)