Extensionality and choice in constructive mathematics

Author(s)

Bibliographic Information

Extensionality and choice in constructive mathematics

by M. J. Beeson

（Report, 76-22）

Department of Mathematics, University of Amsterdam, [1976]

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
    BB13374955
  • Country Code
    ne
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Amsterdam
  • Pages/Volumes
    40 p.
  • Size
    30 cm
  • Parent Bibliography ID
Page Top