Вид документа : Однотомное издание Шифр издания : 517/Т 150 Автор(ы) : Такеути, Гаиси Заглавие : Теория доказательств Выходные данные : Москва: Мир, 1978 Колич.характеристики :412 с Примечания : Предм. указ.: с. 406-410 Цена : 2.10, 2.10, р. ГРНТИ : 27.03.19 УДК : 510.6 Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--доказательств теория Экземпляры : всего : Х(1), АБН(1) Свободны : Х(1), АБН(1) Доп.точки доступа: Соболев, С. К. \пер.\; Адян, С. И. \ред.\