Кондратенко, Н. Р. Комп'ютерний практикум з математичної логіки [Електронний ресурс] : навчальний посібник / Н. Р. Кондратенко. – Електрон. текстові дані. – Вінниця : ВНТУ, 2010.
В навчальному посібнику викладено базові поняття та методи математичної логіки, які використовуються для проектування комбінаційних схем, автоматів та інших засобів електронно-обчислювальної техніки.