Игошин Задачи и упражнения по математической логике.djvu

Игошин Математическая логика и теория алгоритмов (2008).djvu

Колмогоров А.Н, Драгалин А.Г. Математическая логика.djvu