书目详细信息
： 符号逻辑:语法、语义和证明
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-048039-2:CNY99.00 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 符号逻辑/.(美) 大卫·W. 安格勒著/.陈素艳, 张绣蕊译 |
| 出版发行项： | 北京:,科学出版社:,2016.04 |
| 载体形态项： | xiii, 333页:;+24cm |
| 丛编项： | 认知哲学译丛 |
| 一般附注： | 本书受教育部人文社会科学重点研究基地山西大学科学技术哲学研究中心基金资助 |
| 提要文摘： | 本书从逻辑学的两个核心概念“命题”和“论证”出发, 论述了符号逻辑学的两套推理使用的两种规范语言, 以及相应的推导规则。主要内容包括: 命题、论证和逻辑属性 ; 语言、句法和语义学 ; 真值表等。 |
| 题名主题： | 数理逻辑 |
| 索书号： | O141/A32 |
| 中图分类： | O141 |
| 个人名称等同： | 安格勒 D. W. 著 |
| 个人名称次要： | 陈素艳 译 |
| 个人名称次要： | 张绣蕊 译 |
| 记录来源： | CN 人天书店 20160524 |