安徽理工大学图书馆书目检索系统

| 暂存书架(0) | 登录



MARC状态:审校 文献类型:西文图书 浏览次数:4

题名/责任者:
Constructivity in mathematics : proceedings / Edited by A. Heyting.
出版发行项:
Amsterdam : North-Holland Pub. Co., 1959.
载体形态项:
viii, 297 p. ; 23 cm.
丛编题名:
Studies in logic and the foundations of mathematics
会议名称:
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   外文书库     可借
显示全部馆藏信息
借阅趋势

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