| 暂存书架(0) | 登录

MARC状态:已编 文献类型:西文图书 浏览次数:45

题名/责任者:
Mathematical interpretation of formal systems / [by] Th. Skolem ... [et al.]
出版发行项:
Amsterdam : North-Holland Pub. Co., c1955.
载体形态项:
viii, 113 p. ; 22 cm.
丛编题名:
Studies in logic and the foundations of mathematics
附加个人名称:
Skolem, Th. (Thoralf), 1887-1963.
附加团体名称:
Wiskundig Genootschap (Netherlands)
论题主题:
Logic, Symbolic and mathematical.
中图法分类号:
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区      可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架