Алгебра высказываний

Знакомство с аппаратом математической логики мы построим так, чтобы приобретенные сведения можно было использовать для достижения нашей главной цели,— научиться моделировать — т. е. перепоручать нашу работу машинам.
Алгебра высказываний
Решение логических задач
3 простые задачи на логику
Элементы теории автоматов