"В.И.Игошин. Математическая логика и теория алгоритмов (2008, djvu) " - читать интересную книгу автора