| 暂存书架(0) | 登录

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

题名/责任者:
Algebra of proofs / M. E. Szabo.
出版发行项:
Amsterdam ; New York : North-Holland Pub. Co. : New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.
ISBN:
0720422868 :
载体形态项:
xii, 297 p. ; 23 cm.
丛编题名:
Studies in logic and the foundations of mathematics ; v. 88
个人责任者:
Szabo, M. E.
论题主题:
Combinatory logic.
论题主题:
Proof theory.
论题主题:
Categories (Mathematics)
中图法分类号:
O141.2
书目附注:
Includes bibliographical references (p. 278-284) and indexes.
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O141.2/SME E0217021   东5层4区      可借
显示全部馆藏信息
借阅趋势

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