Intuitionistic extensions on the reals

Author(s)

• Troelstra, A. S. (Anne Sjerp)

Bibliographic Information

Intuitionistic extensions on the reals

by A.S. Troelstra

（Report, 79-08）

University of Amsterdam. Mathematisch Instituut, 1979

Note

"Preprint not for review" -- Cover

Bibliography: p. 40-43

Details

• NCID: BB28284153
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: 43 p.
• Size: 30 cm
• Parent Bibliography ID:
  • BB13374037