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

by Michael J. Beeson

(Report, 77-10)

Department of Mathematics, University of Amsterdam, 1977

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliographical references

関連文献: 1件中  1-1を表示

  • Report

    Department of Mathematics, University of Amsterdam

詳細情報

  • NII書誌ID(NCID)
    BB13376655
  • 出版国コード
    ne
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Amsterdam
  • ページ数/冊数
    122 p.
  • 大きさ
    30 cm
  • 親書誌ID
ページトップへ