> Мендельсон Е. Введення в математичну логіку. М.: Наука, 1971. p align="justify"> Методика викладання математики в середній школі: Загальна методика. Навчань, посібник для студентів пед. ін-тів/А.Я. Блох, Б.С. Канін, Н.Г. Килина та ін; Упоряд. Р.С. Черкасов, А.А. Столяр. - М.: Просвещение, 1985. -336 С. p align="justify"> Методика викладання математики в середній школі: Загальна методика. Учеб. посібник для студентів фіз.-мат. фак. пед. Інститутів/Ю.М. Колягін, В.А. Оганесян, В.Я. Саннінскій, Г.Л. Луканкин - М.: Просвещение, 1975. - 462 с. p align="justify"> Микільська І.Л. Математична логіка: Підручник. - М.: Вьтсш. школа, 1981.-127с.
Новіков П.С. Елементи математичної логікі.-М.: Наука, 1959. p align="justify"> Перязев Н.А. Основи теорії булевих функцій. - М.: Фізматліт, 2002. 112 с. p align="justify"> Успенський В.А. Верещагін Н.К., Плиско В.Є. Вступний курс математичної логіки 2-е вид. - М.: Фізматліт, 2002. 128 с. ISBN 5-9221-0278-8. p align="justify"> Успенський В.А., Верещагін П.К., Плиско В.Є. Вступний курс математичної логіки. М.: МГУ, 1991, 2-е вид. - М.: Фізматліт, 2002. 128 с. p align="justify"> Едельман С.Л. Математична логіка. М., Вища школа, 1979. p align="justify"> Яблонський С.В. Введення в дискретну математику. М.: Наука, 1986. p align="justify"> 1.
