Вид документа : Однотомное издание Шифр издания : 22.15/К 77 Автор(ы) : Крайзель Г. Заглавие : Исследования по теории доказательств : сб. ст. Выходные данные : М.: Мир, 1981 Колич.характеристики :289 с Серия: Математика. Новое в зарубежной науке; 23 Примечания : Библиогр. в конце ст. ISBN, Цена 5-ИС-ПО-ТЕ-КР: 1.80 р. ББК : 22.151.1 + 22.122 Предметные рубрики: Теоремы-- Доказательство Математическая логика Экземпляры :КХ(1) Свободны : КХ(1) Держатели документа: ООПБ Доп.точки доступа: Маслов, С. Ю. \ред.\