西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

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

题名/责任者:
互逆主义数理逻辑/周训伟著
出版发行项:
北京:中国科学技术出版社,2004
ISBN及定价:
7-5046-1431-9/CNY30.00
载体形态项:
398页;20cm
个人责任者:
周训伟 (1952.9~) 著
学科主题:
数理逻辑-研究
学科主题:
数理逻辑
中图法分类号:
O141
一般附注:
北京市自然科学基金委员会资助出版
责任者附注:
周训伟，北京工业大学计算机系研究生毕业，现任北京联合大学信息学院副教授。
提要文摘附注:
本书介绍了互逆主义逻辑演算、集合论、抽象代数及互逆主义递归论等。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O141/20 639210   密集库1     可借
O141/20 639211   密集库1     可借
O141/20 639212   密集库1     可借
O141/20 639209   内阅图书     可借
O141/20 639213   金花馆     可借
O141/20 639214   金花馆     可借
显示全部馆藏信息
借阅趋势

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