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