MARC状态:审校 文献类型:西文图书 浏览次数:4
- 题名/责任者:
- Constructivity in mathematics : proceedings / Edited by A. Heyting.
- 出版发行项:
- Amsterdam : North-Holland Pub. Co., 1959.
- 载体形态项:
- viii, 297 p. ; 23 cm.
- 会议名称:
- International Colloquium "Constructivity in Mathematics" (1957 : Amsterdam, Netherlands)
- 附加个人名称:
- Heyting, A. (Arend), 1898-
- 论题主题:
- Metamathematics-Congresses.
- 中图法分类号:
- O14
- 科图法分类号:
- 51.6083
- 一般附注:
- "The appendix contains the summaries of three lectures ... [given] at the Summer Institute of Symbolic Logic in June 1957 at Cornell University, Ithaca, N.Y."
- 一般附注:
- Papers in English, German, or French.
- 书目附注:
- Includes bibliographies.
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
51.6083/H619 | 010049527 | 外文书库 | 可借 | |
51.6083/H619 | 010049528 | 外文书库 | 可借 |
显示全部馆藏信息