Штельмах, Т. В. Математическая логика и теория алгоритмов : учеб.-метод. пособие: в 2 ч. Ч. 2 : Алгебра логики предикатов, 2014. - 54 с. - Текст : непосредственный.
Приложение
для Android