Любченко К. М., Триус Ю. В. Елементи математичної логіки з комп'ютерною підтримкою / Посібник для вчителів: Черкаси: Видавничий відділ ЧНУ, 2004. – 88 с. ISBN 966-7986-72-1
У посібнику розглянуто теоретичний матеріал та наведено значну кількість прикладів і практичних завдань з алгебри висловлень. Для більш ефективного засвоєння учнями матеріалу, формування в них відповідних вмінь і навичок, автоматизації контролю знань, а також раціонального використання часу в посібнику пропонується використовувати інструментально-контролюючу програму Master of Logic.
Посібник в першу чергу призначений для вчителів математики та інформатики і учнів середніх шкіл фізико-математичного профілю, а також може бути корисним викладачам вищих навчальних закладів, які викладають дискретну математику, логічні основи інформатики і студентам, що вивчають ці дисципліни.