一百囚徒与一个灯泡.pdf
本书的内容是十一个经典的逻辑谜题，这些谜题非常具有挑战性，答案往往出人意料。这些谜题表面上看起来是自相矛盾的，但是对它们的解答是围绕知识宣告来进行的，解答过程也完全能够以数学模型的方式严格化。本书每一章处理一个谜题，作者经过详细地分析，最终引导读者获得解答。对于不具备数学技术性知
马明辉
奎因逻辑哲学研究.pdf
奎因是20世纪世界著名的逻辑学家与哲学家。本书是对奎因逻辑哲学思想的初探。奎因致力于为逻辑的发展注入哲学的动机，把逻辑与集合论和其他科学区分开来，确立了逻辑的范围。本书分别在句子逻辑、量化逻辑和模态逻辑等方面讨论了奎因的逻辑思想，进而以逻辑一元论来描述奎因的逻辑观。奎因的逻辑
分次模态语言的模型论.pdf
本书给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言；此外，在关系语义学下，还给出了结构类的可定义性定理。
结构证明论（第二版） 马明辉 编著.pdf
证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝，它研究演算中的分析性证明. 《结构证明论（第二版）》在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给