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

| 暂存书架(0) | 登录

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

题名/责任者:
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews.
出版发行项:
Orlando : Academic Press, 1986.
ISBN:
0120585359 (alk. paper)
ISBN:
0120585367 (pbk. : alk. paper)
载体形态项:
xv, 304 p. ; 24 cm.
丛编题名:
Computer science and applied mathematics
个人责任者:
Andrews, P. B. (Peter Bruce), 1937-
科图法分类号:
51.3
一般附注:
Includes index.
书目附注:
Bibliography: p. 293-295.
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
51.3/A568 010052352   外文书库     可借
显示全部馆藏信息
借阅趋势

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