MARC状态:审校 文献类型:西文图书 浏览次数:11
- 题名/责任者:
- Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.
- 出版发行项:
- Oxford [Eng.] : Clarendon Press, 1977.
- ISBN:
- 019853163X
- 载体形态项:
- ix, 170 p. ; 25 cm.
- 丛编题名:
- Oxford logic guides
- 个人责任者:
- Troelstra, A. S. (Anne Sjerp)
- 论题主题:
- Sequences (Mathematics)
- 中图法分类号:
- O156
- 书目附注:
- Includes bibliographical (p. [161]-167) and index.
全部MARC细节信息>>