Гуров С. И. Исчисления высказываний классической логики: Учебно-методическое пособие. — Москва: Факультет вычислительной математики и кибернетики МГУ, Москва: Издательство "МАКС Пресс", 2007. — 131 с., ил. Библ.: 24. — русский. — ISBN 978-5-89407-316-3 — Российская Федерация.(Математические основы проектирования СБИС)