Библиографический список

1. Метакидес Г., Нероуд А. Принципы логики и логического программирования. М.: Факториал, 1998. – 288с.

2. Акимов О.Е. Дискретная математика: логика, группы, графы. М.: Лаборатория Базовых Знаний, 2001. – 350с.

3. Гурова Л.М., Зайцева Е.В. Математическая логика и теория алгоритмов. М.: Изд-во МГГУ, 2006. – 262с.

4. Новиков П.С. Элементы математической логики. – М.: Мир, 1960, 260с.

5. Гетманова А.Д. Логика. М.: Высшая школа, 1986. – 264с.

6. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Наука, 1975, 210с.

7. Ивлев Ю.В. Логика: сборник упражнений. – М.: Дело, 2004, 248с.

Литературный редактор

Подписано в печать 00.00.2007. Формат 60х84 1/16.

Бумага офсетная. Печать офсетная.

Усл. печ. л.0,00 Усл. кр.-отт. 0,00. Уч.-изд. л. 0,0.

Тираж 000 экз. Заказ 000

Государственное образовательное учреждение высшего профессионального образования “Московский государственный институт радиотехники, электроники и автоматики (технический университет)”

119454, Москва, пр. Вернадского, 78