Математическая логика и теория алгоритмов. Анкудинов Г.И