Подробное описание документа
П. С. Новиков
Конструктивная математическая логика с точки зрения классической / П. С. Новиков ; ред. Ф. А. Кабаков, ред. Б. А. Кушнер, ред. В. В. Донченко. - Москва : Наука, 1977. -
П. С. Новиков
Конструктивная математическая логика с точки зрения классической / П. С. Новиков ; ред. Ф. А. Кабаков, ред. Б. А. Кушнер, ред. В. В. Донченко. - Москва : Наука, 1977. -