Методические указания и контрольные задания. - Ставрополь:
СтГАУ, 2013. - 28 с.
Приведены основные понятия и утверждения математической логики
(алгебры высказываний), руководство к решению типовых задач и
образцы решений. Предложены варианты контрольных заданий.