Основы дискретной математики / Белкоопсоюз, Учреждение образования "Белорусский торгово-экономический университет потребительской кооперации", Кафедра высшей математики. Ч. 2 : Элементы математической логики. — 2009. — 75 с. (2009)