名称 谢弗函数研究
索引号 O141/10
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 刘新文、
出版社 广州:暨南大学出版社,2011
ISBN 978-7-81135-881-0
页数 188页
价格 CNY26.00
标签 数理逻辑、研究、数学、逻辑、计算机科学、
简介
注解 本书主要从逻辑史、逻辑演算、证明复杂性理论、证明论以及哲学方面对逻辑联结词谢弗函数进行了深入研究。
书籍简介

逻辑联结词是逻辑的核心概念之一,刘新文编著的《谢弗函数研究》是中国博士后基金项目“Sheffer竖研究”的研究成果,主要从逻辑史、逻辑演算、证明复杂性理论、证明论以及哲学方面对逻辑联结词谢弗函数进行了深入研究。
《谢弗函数研究》可作为逻辑学、哲学和数学工作者理论学习和科学研究的参考书。