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