Ч-43 Чень, Ч. Математическая логика и автоматическое доказательство теорем [Текст] / Ч. Чень, Р. Ли ; ред. С. Ю. Маслова. - М. : Наука, 1983. - 360 с. - (Математическая логика и основания математики). - 2.20 р. Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- теорема Эрбрана -- метод резолюций Доп.точки доступа: Ли, Р.; Маслова, С.Ю. \ред.\ Экземпляры всего: 2 Ч.з.1 (2) Свободны: Ч.з.1 (2) |