[36] Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая. Учебное пособие. Калининград: КГТУ, 2001.

[37] Редже Т. Этюды о Вселенной. М.:Мир,1985. - http: gng.boom.ru/library/gedel.htm

[38] Робинсон Дж. Логическое программирование - прошлое, настоящее и будущее / В кн.: Логическое программированием.:Мир, 1988. С.7-26.

[39] Роджерс X. Теория рекурсивных функций и эффективная вычислимость. М., 1972.

[40] Современный словарь иностранных слов. М.: Русский язык, 1992.

[41] Столл P.P. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968.

[42] Тьюринг А. Могут ли машины мыслить? М.: Физматгиз, 1960.

[43] Успенский В.А. Лекции о вычислимых функциях. М.: ФМ, 1960.

[44] Фейс Р. Модальная логика. М.: Наука, 1974.

[45] Фон Вригт Г.Н. Логико-философские исследования. Избранные труды. М.: Прогресс, 1986.

[46] Черч А. Введение в математическую логику. М.: ИЛ, 1960.

[47] Шанин Н.А., Давыдов Г.В. и др. Алгорифм машинного поиска логического вывода в исчислении высказываний. М.: Наука, 1970.

[48] Ященко В.В. Введение в криптографию. СПб.: ПИТЕР, 2001.

[49] Burstall R. Program proving as hand simulation with little induction j j Inform. Proc. 1974. V.74. P.263-312.

[50] Pnueli A. The temporal logic of programs j j Proc. 18th IEEE Symp. on the foundations of computer science. San-Francisco, 1977. P.46-57.

[51] Prior P..Diodorian modalities The Philosophical Quarterly. 1955. V.5. N.20.

[52] Van Heijenoort j. From Frege to Gedel. A Source Book in Mathematical Logic, 1879-1931. Cambridge, Mass.: Harvard Univ. Press, 1967.