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

CiNii

Bibliographic Information

Title
"Principles of continuous choice and continuity of functions in formal systems for constructive mathematics"
Statement of Responsibility
by Michael J. Beeson
Publisher
  • Department of Mathematics, University of Amsterdam
Publication Year
  • 1977
Book size
30 cm

Search this Book/Journal

Notes

Includes bibliographical references

Related Books

See more

Details 詳細情報について

  • CRID
    1130000798120338816
  • NII Book ID
    BB13376655
  • Text Lang
    en
  • Country Code
    ne
  • Title Language Code
    en
  • Place of Publication
    • Amsterdam
  • Data Source
    • CiNii Books
Back to top