517 А 468 Алексанян, А. А. О локальной определимости типов функций алгебры логики / А. А. Алексанян ; Акад. наук СССР. - Москва : [б. и.], 1982. - 30 с. - (Сообщение по прикладной математике). - 0.10 р.
Кл.слова (ненормированные): АЛГЕБРА -- ЛОГИКА Доп.точки доступа: Академия Наук СССР Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Г 190 Ганджа, Леонид Ионович. Элементы математической логики. Алгебра логики / Л. И. Ганджа ; [М-во высш. и сред. спец. образования РСФСР, Новосиб. электротехн. ин-т]. - Новосибирск : [б. и.], 1968. - 89 с. - Библиогр.: с. 89. - 0.40 р.
Кл.слова (ненормированные): АЛГЕБРА -- ЛОГИКА Доп.точки доступа: Министерство высшего и среднего специального образования РСФСР; Новосибирский электротехнический институт Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Р 276 Раца, Мефодий Федорович. Итеративные цепные классы псевдобулевых функций / М. Ф. Раца ; [под ред. И. С. Негру ; Акад. наук МССР]. - Кишинев : Штиинца, 1990. - 236 с. - 2.70 р.
Кл.слова (ненормированные): АЛГЕБРА -- ЛОГИКА Доп.точки доступа: Негру, И. С. \ред.\; Академия наук Молдавской ССР Экземпляры всего: 1 Х (1) Свободны: Х (1) |
51 К 332 Кедровский, Олег Иванович. Система принципов построения дедуктивных теорий / О. И. Кедровский, К. М. Узбек. - Киев : Вища. школа, 1990. - 130, [2] с. - (Философская монография). - Библиогр.: с. 121-131. - ISBN 5-11-003647-0 : 1.60 р.
Кл.слова (ненормированные): ТЕОРИЯ ИСЧИСЛЕНИЙ Доп.точки доступа: Узбек, Константин Манович Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Р 276 Раца, Мефодий Федорович. Выразимость в исчислениях высказываний / М. Ф. Раца ; [под ред. А. Д. Тайманова ; Акад. наук МССР. Ин-т мат.]. - Кишинев : Штиинца, 1991. - 202, [1] с. - Библиогр.: с. 196-201. - ISBN 5-376-00961-0 : 2.50 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА Доп.точки доступа: Тайманов, А. Д. \ред.\; Академия наук Молдавской ССР. Институт математики Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Р 293 Рвачев, Владимир Логинович. Геометрические приложения алгебры логики / В. Л. Рвачев. - Киев : Технiка, 1967. - 212 с. : ил. - Библиогр.: с. 207-209. - 0.70 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ Экземпляры всего: 1 Х (1) Свободны: Х (1) |