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