日出日落话香港

杨睿之编著1992 年出版149 页ISBN：7805335869

数理逻辑 证明及其限度

郝兆宽，杨睿之，杨跃著2014 年出版249 页ISBN：9787309110258

本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数...

作为哲学的数理逻辑

杨睿之著2016 年出版218 页ISBN：9787309126587

作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，随着各自的发展，两者自上世纪中叶以来逐渐分道扬镳。本书将展示分析哲学与数理逻辑在它们的“蜜月期”中共同取得的重要成...

递归论

郝兆宽，杨睿之，杨跃著2018 年出版207 页ISBN：9787309140187

递归论是数理逻辑的四大分支之一，创立于20世纪30年代，它的产生源于解决数学中的判定问题。从20世纪50年代研究范围逐渐扩大，关注点从可计算性扩展到对一般意义上的复杂性、构造性和可定义性等，它与逻辑学的其他...

寒温条辨 卷2

（清）杨睿著1897 年出版124 页ISBN：

寒温条辨 卷4

（清）杨睿著1897 年出版104 页ISBN：

寒温条辨 卷3

（清）杨睿著1897 年出版112 页ISBN：

学会自我授权

（美）Sam R. Lloyd，（美）Tina Berthelot著；韩经纶，杨睿凯译2003 年出版116 页ISBN：7310018184

寒温条辨 卷1

（清）杨睿著2222 年出版116 页ISBN：

寒温条辨 卷2

（清）杨睿著2222 年出版116 页ISBN：