大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » 谢弗函数研究
名称 谢弗函数研究
索引号 O141/20113
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 刘新文、
出版社 广州 : 暨南大学出版社, 2011
ISBN 978-7-81135-881-0
页数 188页 ; 24cm
价格 CNY26.00
标签 数学、逻辑、计算机科学、
简介
注解 “Sheffer竖研究”研究成果 中国博士后科学基金成果 项目编号：20080430035 (第43批一等资助金) 200801076 (第1批特别资助金) 有书目 (第169-186页) 本书主要从逻辑史、逻辑演算、证明复杂性理论、证明论以及哲学方面对逻辑联结词谢弗函数进行了深入研究。 本书适用于逻辑学、哲学和数学工作者
书籍简介

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