Владимир Иванович Игошин

Логика с элементами математической логики: Учебник

Теория алгоритмов: Учебное пособие

Математическая логика. Учебное пособие