王国俊著2006 年出版258 页ISBN：7030165837
本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...
张建军著2014 年出版358 页ISBN：9787010128047
本书在2012年被中国社会科学院评选为“最优影响的国内学术著作”之一，是我国逻辑悖论研究的一部重要专著。作者基于大量第一手资料的把握与分析，站在悖论研究最新成就的制高点上，以三类狭义逻辑悖论—集合论—...
