КНИТУ, Чистопольский филиал, преп. Мухаметзянов, Варианты 7, 15, 22, 25
К/раб из учебника Галиев Ш.И. Математическая логика и теория алгоритмов
Логика высказываний
Логика предикатов
Логические следствия и метод резолюций
Нормальный алгоритм и машина ТьюрингаТрехзначная логика Лукасевича
Нечёткие множества
Комментарии