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

Author(s)

Bibliographic Information

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

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references

Related Books： 1-1 of 1

  • Report

    Department of Mathematics, University of Amsterdam

Details

  • NCID
    BB13376655
  • Country Code
    ne
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Amsterdam
  • Pages/Volumes
    122 p.
  • Size
    30 cm
  • Parent Bibliography ID
Page Top