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
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographical references