|
题名:
|
符号逻辑 [ 专著] fu hao luo ji / (美)大卫·W. 安格勒著 , 陈素艳, 张绣蕊译 |
|
ISBN:
|
978-7-03-048039-2 价格： CNY99.00 |
|
语种:
|
chi |
|
载体形态:
|
13,333页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2016 |
|
内容提要:
|
本书从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。 |
|
主题词:
|
数理逻辑 研究 |
|
中图分类法:
|
O141 版次： 5 |
|
其它题名:
|
语法、语义和证明 |
|
主要责任者:
|
安格勒 an ge le 著 |
|
次要责任者:
|
陈素艳 chen su yan 译 |
|
次要责任者:
|
张绣蕊 zhang xiu rui 译 |
|
附注:
|
教育部人文社会科学重点研究基地山西大学科学技术哲学研究中心基金资助 |
|
索书号:
|
O141/1 |