图书馆
登录
书目检索
分类浏览
热门推荐
新书通报
期刊导航
读者荐购
信息发布
我的图书馆
简单检索
多字段检索
组合检索
书目详细信息
书目详细信息 :
数理逻辑入门
书目信息
机读格式(MARC)
ISBN/价格:
978-7-81129-604-4:CNY18.00
作品语种:
chi
出版国别:
CN 230000
题名责任者项:
数理逻辑入门
/.
李锡胤编
出版发行项:
哈尔滨:,黑龙江大学出版社:,2013.11
载体形态项:
128页:;+图:;+24cm
提要文摘:
本书分为命理逻辑、谓词逻辑两部分,内容包括:逻辑研究什么、逻辑与自然语言、命题、命题符号、演绎推理、基本加行规则、间接证明法、公理系统的方法论、谓词逻辑与命题逻辑等。
题名主题:
数理逻辑 基本知识
中图分类:
O141
个人名称等同:
李锡胤 编
记录来源:
CN TJU 20140419
总体评分 :
(共0人)
我的评分 :
共有0人预约本书
收藏
加入课程
相关资源
馆藏信息
附件信息
评论信息
相关借阅
借阅趋势
参考书目
评论共
条 , 请
登录
后发表评论
用户评论
借阅关系图
相关资源
豆瓣相关资源
CNKI学术搜索
百度相关资源
二维码