| 暂存书架(0) | 登录

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

题名/责任者:
Two papers on the predicate calculus / by S.C. Kleene.
出版发行项:
Providence, R.I. : American Mathematical Society, 1952.
载体形态项:
68 p. ; 26 cm.
丛编说明:
Memoirs of the American Mathematical Society ; no. 10.
个人责任者:
Kleene, Stephen Cole, 1909-
论题主题:
Calculus.
中图法分类号:
O141
一般附注:
Cover title.
书目附注:
Includes bibliographical references (p. 67-68)
内容附注:
Permutability of inferences in Gentzen's calculi lk and lj. -- Finite axiomatizability of theories in the predicate calculus using additional predicate symbols.
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O141/KSC E0277724   东5层4区      可借
显示全部馆藏信息
借阅趋势

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