谢弗函数研究
图书信息
书名:谢弗函数研究作者:刘新文
包装:平装
开本:16
出版社:暨南大学出版社
出版时间:2011-09-01
图书简介
本书详细阐述了关于谢弗函数的历史、定义、句法概念等基础理论知识,包括命题逻辑方面的强完全性定理及系统Z的相关内容,证明复杂性中的多项式模拟和存在量词,以及量化理论等多个方面的研究成果。此书理论严密、言简意赅、丰富深入,对逻辑学、哲学、数学、计算机科学学者有重要的参考价值。
推荐理由
作为一本逻辑学的专业研究书籍,《谢弗函数研究》是研究谢弗函数的一本重要的参考书。书中详细介绍了关于谢弗函数的基本理论知识和多个方面的研究成果,对于逻辑学、哲学、数学、计算机科学等领域的专业人士均有重要的参考价值。如果你对于逻辑学有浓厚的兴趣,那么这本书绝对值得你拥有。