Труды математического института им. В. А. Стеклова. Вып. LXXII. Проблемы конструктивного направления в математике - 3. Сборник работ. Под. ред. Н. А. Шанина., отв. ред. И. Г. Петровский.
1964, изд-во: Наука., город: Москва-Ленинград., стр. : 548 стр. Тираж 2 400экз., обложка: Твердый издательский переплет., формат: Энциклопедический, состояние: Отличное. Не открывали. . Эта книга представляет собой сборник работ семинара по математической логике и семинара по конструктивной математике, работающих в Ленинградском отделении Математического института им. В. А. Стеклова Академии наук СССР. Она посвящается А. А. Маркову к его шестидесятилетию. В этом сборнике представлены работы по общей теории алгорифмов, общей теории исчислений и перечислемых множеств, конструктивной математической логике и конструктивному математическому анализу. Значительное внимание уделено вопросам, связанным с использованием в языках конструктивной математики так называемых подчиненных переменных.