Труды математического института им. В. А. Стеклова. Выпуск 72. Проблемы конструктивного направления в математике. 3
Автор: [автор не указан] Год: 1964 Издание:Наука Страниц: 552 ISBN: [не указан] В этом сборнике представлены работы по общей теории алгорифмов, общей теории исчислений и перечислимых множеств, конструктивной математической логике и конструктивному математическому анализу. Значительное внимание уделено вопросам, связанным с использованием в языках конструктивной математики так называемых подчиненных переменных. Это внимание стимулировано тем обстоятельством, что одним из существенных "источников неконструктивности" в математике являются некоторые из практикуемых в классической математике логических переходов, связанных с подчиненными переменными.