Литература
|
Российский гос. гуманитарный ун-т, Всероссийский ин-т научной и технической информации РАН ; Сост.: О.М. Аншаков, Е.В. Фабрикантова ; Под общ. ред. О.М. Аншакова: ДСМ-метод автоматического порождения гипотез. - М.: ЛИБРОКОМ, 2009
|
Литература
|
Лавров И.А.: Математическая логика. - М.: Академия, 2006
|
Литература
|
Под ред. В.Д. Будаева, Н.П. Стефановой: Математика и информатика. - М.: Высшая школа, 2004
|
Литература
|
Солодухин О.А.: Логика. - Ростов н/Д: Феникс, 2004
|
Литература
|
Ин-т языкознания АН СССР ; отв. ред. В.С. Храковский ; рец.: В.В. Богданов, В.М. Павлов: Категории глагола и структура предложения. - Л.: Наука, 1983
|
Литература
|
Степанов Ю.С.: Имена. Предикаты. Предложения. - М.: Наука, 1981
|
Литература
|
Калужнин Л.А.: Элементы теории множеств и математической логики в школьном курсе математики. - М.: Просвещение, 1978
|
Литература
|
Новиков П.С.: Конструктивная математическая логика с точки зрения классической. - М.: Наука, 1977
|
Литература
|
Новиков П.С.: Элементы математической логики. - М.: НАУКА, 1973
|
Литература
|
Столяр А.А.: Логическое введение в математику. - Минск: Вышейшая школа, 1971
|
Литература
|
Войшилло Е.К.: Понятие. - М.: МГУ, 1967
|