Автор: Мартин-Леф Пер

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

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

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

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

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

Издательство: Мир

Объем: 136 с.

Cерия: Библиотека сборника "Математика"

Примечание: Доп. тит. л.: Notes on constructive mathematics. By Per Martin-Lof

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

ББК: 22.121

Библиография: Список лит.: с. 128-131; Указ.: с. 132-134