（英）乔恩·威廉姆森（JonWilliamson），（意）费德丽卡·拉索（FedericaRusso）著；郝兆宽，单芃舒注2016 年出版215 页ISBN：7513582735
郝兆宽编著2015 年出版187 页ISBN：9787542763853
涵盖生活、认知、行为养成等多种主题的短小、易读儿歌，提高孩子的语言能力和认知能力。为了让更多孩子领略到儿歌的魅力，我们从中选出适合低年龄段孩子阅读的儿歌作品，为其标注拼音，精心绘制彩色插图，以其独特的...
郝兆宽，杨睿之，杨跃著2014 年出版249 页ISBN：9787309110258
本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数...
郝兆宽，杨跃著2014 年出版246 页ISBN：9787309107104
本书是“逻辑与形而上学教科书”中的一本。书中全面介绍了集合论这一数理逻辑的重要领域，共有集合与公理；关系与函数，实数的构造，基数，滤、理想与无界闭集，集合的宇宙，可构成集，力迫等9章内容；除了讨论集合......
郝兆宽，杨睿之，杨跃著2018 年出版207 页ISBN：9787309140187
递归论是数理逻辑的四大分支之一，创立于20世纪30年代，它的产生源于解决数学中的判定问题。从20世纪50年代研究范围逐渐扩大，关注点从可计算性扩展到对一般意义上的复杂性、构造性和可定义性等，它与逻辑学的其他...
郝兆宽著；张志林，黄翔主编2018 年出版183 页ISBN：9787309134056
本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后，关于这个...
