Choice sequences : a chapter of intuitionistic mathematics

著者

• Troelstra, A. S. (Anne Sjerp)

書誌事項

Choice sequences : a chapter of intuitionistic mathematics

by A.S. Troelstra

（Oxford logic guides）

Clarendon Press, 1977

注記

Bibliography: p. [161]-167

Includes index

詳細情報

• NII書誌ID(NCID): BA04609879
• ISBN:
  • 019853163X
• LCCN: 77366152
• 出版国コード: uk
• タイトル言語コード: eng
• 出版地: Oxford [Eng.]
• ページ数/冊数: ix, 170 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA9.47
  • DC : 511/.2
• 件名:
  • LCSH : Intuitionistic mathematics
  • LCSH : Sequences (Mathematics)
• 親書誌ID:
  • BA00017765