Применение ЭВМ для решения задач математической логики: учебное пособие - Мелихов А. Н. Аскольд Николаевич (Таганрог, Изд-воТРТИ, 1988)