32.97    М34         Математическая логика в программировании [Текст] : сб. ст. : Пер. с англ. / Под ред. / ред. М. В. Захарьящев, Ю. И. Янов. - М. : Мир, 1991. - 408 с. - (Математическое обеспечение ЭВМ). - Б. ц. Библиогр.: с. 395 - 407.ББК 32.973 Кл.слова (ненормированные): ТЕХНИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ПРОГРАММИРОВАНИЕ -- РАДИОЭЛЕКТРОНИКА -- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ -- ПЭВМ Доп.точки доступа: Захарьящев, М.В. \ред.\; Янов, Ю.И. \ред.\ Свободных экз. нет