借阅:1 收藏:0

黄华新,胡龙彪编著

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位用户访问本系统