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