![]() |
|
| 名称 | 谢弗函数研究 |
| 索引号 | O141/10 |
| 分类号 | O141 O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学) |
| 作者 | 刘新文、 |
| 出版社 | 广州:暨南大学出版社,2011 |
| ISBN | 978-7-81135-881-0 |
| 页数 | 188页 |
| 价格 | CNY26.00 |
| 标签 | 数理逻辑、研究、数学、逻辑、计算机科学、 |
| 简介 | |
| 注解 | 本书主要从逻辑史、逻辑演算、证明复杂性理论、证明论以及哲学方面对逻辑联结词谢弗函数进行了深入研究。 |
书籍简介
逻辑联结词是逻辑的核心概念之一,刘新文编著的《谢弗函数研究》是中国博士后基金项目“Sheffer竖研究”的研究成果,主要从逻辑史、逻辑演算、证明复杂性理论、证明论以及哲学方面对逻辑联结词谢弗函数进行了深入研究。
《谢弗函数研究》可作为逻辑学、哲学和数学工作者理论学习和科学研究的参考书。



粤公网安备 44030602003680号