Основное заглавие: Справочная книга по математической логике

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

Ответственность: под ред. Дж. Барвайса

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

Название части / раздела: Теория доказательств и конструктивная математика

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

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

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

Объем: 391 с.

Примечание: Изд. выходит с 1982 г.

Ключевые слова: Математическая логика; Логика; Доказательств теория; Конструктивная математика; Математика;

ББК: 22.122

Библиография: Библиогр. в конце глав; Предм. указ.: с. 383-388