Основное заглавие: Математическая теория логического вывода
Сведения, относящ. к заглавию: сборник переводов
Ответственность: под ред. А. В. Идельсона и Г. Е. Минца
Физический носитель: текст
Год публикации: 1967
Место издания: Москва
Издательство: Наука
Объем: 351 с.
Серия: Математическая логика и основания математики
Ключевые слова: Математическая логика; Логика
ББК: 22.122
Библиография: Библиогр. в конце статей
Находится: СОУНБ
Сведения об экземплярах, инвентарных номерах и статусе выдачи поступают из АБИС и появятся на карточке после подключения к ней. Заказ издания из фонда — на следующем этапе каталога.