Математическая логика и теория алгоритмов

28. РейнгольдЭ.,НивергелътЮ.,Део Н. Комбинаторные алго­ ритмы. Теория и практика / Пер. с англ, М.: Мир, 1980. 478 с. 29. Самсонов Б.Б.,ПлохоеЕ.М.и Фшоненков А. И. Компью­ терная математика (основание информатики). Ростов-на-Дону: «Феникс», 2002. 512 с. 30. Ченъ Ч.,Л иР. Математическая логика и автоматическое до­ казательство теорем / Пер. с англ. М.: Наука, 1983. 360 с. Ъ\.Я б л о н с к и й С. В. Введение в дискретную математику. М.: Высшая школа, 2001. 384 с.