Principles of continuous choice and continuity of functions in formal systems for constructive mathematics

CiNii

書誌事項

タイトル
"Principles of continuous choice and continuity of functions in formal systems for constructive mathematics"
責任表示
by Michael J. Beeson
出版者
  • Department of Mathematics, University of Amsterdam
出版年月
  • 1977
書籍サイズ
30 cm

この図書・雑誌をさがす

注記

Includes bibliographical references

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

  • CRID
    1130000798120338816
  • NII書誌ID
    BB13376655
  • 本文言語コード
    en
  • 出版国コード
    ne
  • タイトル言語コード
    en
  • 出版地
    • Amsterdam
  • データソース種別
    • CiNii Books
ページトップへ