Задачи и упражнения по математической логике и теории алгоритмов
Математическая логика и теория алгоритмов