黄华新,胡龙彪编著
ISBN/ISSN:7-308-02281-1
中图分类号:B812 G632.0
价格:CNY13.00
出版:杭州 浙江大学出版社 ,2000
简介:本书分绪论、非形式的命题逻辑、命题演算、传统谓词逻辑、非形式的一阶谓词逻辑、一阶谓词演算、模态逻辑、归纳逻辑、语用逻辑共9章论述,并附有练习。
责任者:黄华新 编著 胡龙彪 编著 查尔斯 ,C.M. 著 Charles ,C.M. 著 张莉莉 译
载体形态:330页 ;20cm
豆瓣内容简介:
豆瓣作者简介:
馆藏部门 | 物理位置 | 图书条码 | 索书号 | 登录号 | 卷期 | 状态 |
五楼北区 | 712982 | B812/H837 | 712982 | 在架可借 | ||
五楼北区 | 712983 | B812/H837 | 712983 | 在架可借 | ||
负一层 | 712984 | B812/H837 | 712984 | 在架可借 | ||
负一层 | 712985 | B812/H837 | 712985 | 在架可借 | ||
负一层 | 712981 | B812/H837 | 712981 | 在架可借 |
序号 | 图书条码 | 索书号 | 登录号 | 藏书部门 | 流通状态 | 年卷期 | 装订册 | 装订方式 | 装订颜色 |
类型 | 说明 | URL |
评 论 |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139 www.beian.miit.gov.cn
欢迎第1816656位用户访问本系统