Choice sequences : a chapter of intuitionistic mathematics

Author(s)

• Troelstra, A. S. (Anne Sjerp)

Bibliographic Information

Choice sequences : a chapter of intuitionistic mathematics

by A.S. Troelstra

（Oxford logic guides）

Clarendon Press, 1977

Note

Bibliography: p. [161]-167

Includes index

Details

• NCID: BA04609879
• ISBN:
  • 019853163X
• LCCN: 77366152
• Country Code: uk
• Title Language Code: eng
• Place of Publication: Oxford [Eng.]
• Pages/Volumes: ix, 170 p.
• Size: 25 cm
• Classification:
  • LCC : QA9.47
  • DC : 511/.2
• Subject Headings:
  • LCSH : Intuitionistic mathematics
  • LCSH : Sequences (Mathematics)
• Parent Bibliography ID:
  • BA00017765