Автор: Такеути Гаиси
Основное заглавие: Теория доказательств
Ответственность: пер. с англ. С. К. Соболева ; под ред. С. И. Адяна
Физический носитель: текст
Год публикации: 1978
Место издания: Москва
Издательство: Мир
Объем: 412 с.
Ключевые слова: Теоремы; Доказательство; Математическая логика
ББК: 22.122
Библиография: Предм. указ.: с. 406-410
Находится: СОУНБ
Сведения об экземплярах, инвентарных номерах и статусе выдачи поступают из АБИС и появятся на карточке после подключения к ней. Заказ издания из фонда — на следующем этапе каталога.