Основное заглавие: Математическая теория логического вывода

Сведения, относящ. к заглавию: сборник переводов

Ответственность: под ред. А. В. Идельсона и Г. Е. Минца

Физический носитель: текст

Год публикации: 1967

Место издания: Москва

Издательство: Наука

Объем: 351 с.

Cерия: Математическая логика и основания математики

Ключевые слова: Математическая логика; Логика;

ББК: 22.122

Библиография: Библиогр. в конце статей