MARC状态:已编 文献类型:西文图书 浏览次数:45
- 题名/责任者:
- Mathematical interpretation of formal systems / [by] Th. Skolem ... [et al.]
- 出版发行项:
- Amsterdam : North-Holland Pub. Co., c1955.
- 载体形态项:
- viii, 113 p. ; 22 cm.
- 附加个人名称:
- Skolem, Th. (Thoralf), 1887-1963.
- 中图法分类号:
- O1-0
- 一般附注:
- "Contains the lectures, held at the symposion [sic] on 'Mathematical interpretation of formal systems' which was organized by the 'Wiskundig Genootschap' (Mathematical Society) at Amsterdam on September 9 and 10, 1954."
- 书目附注:
- Includes bibliographical references (p. 112-113)
- 随书光盘:
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
O1-0/MIF | E0216995 | 东5层4区 | 可借 | |
O1-0/MIF | E0233155 | 东5层4区 | 可借 |
显示全部馆藏信息