Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
著者
書誌事項
Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
（Report, 77-10）
Department of Mathematics, University of Amsterdam, 1977
この図書・雑誌をさがす
注記
Includes bibliographical references
