Вид документа : Однотомное издание Шифр издания : 22.122/Ч-43 Автор(ы) : Чень Ч., Ли Р. Заглавие : Математическая логика и автоматическое доказательство теорем Выходные данные : М.: Наука, 1983 Колич.характеристики :360 с Серия: Математическая логика и основания математики Цена : 2.20 р. ББК : 22.122 Предметные рубрики: Математическая логика Экземпляры : всего : Ч.з.1(2) Свободны : Ч.з.1(2) Доп.точки доступа: Ли, Р.; Маслова, С.Ю. \ред.\