Ч-43 Чень, Ч. Математическая логика и автоматическое доказательство теорем [Текст] / Ч. Чень, Р. Ли ; перевод с английского Г. В. Давыдова [и др.], под редакцией С. Ю. Маслова. - Москва : Наука, 1983. - 358 с. ; 22 см. - (Математическая логика и основания математики). - 8500 экз.. - (в пер.) : 2.20 р. Перевод изд.: Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New York etc., 1973) Рубрики: Математическая логика Теоремы Доп.точки доступа: Ли, Р.; Давыдов, Г. В. \пер.\; Маслов, С. Ю. \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |