让家园充满绿色

郭垒，郝兆宽编1996 年出版100 页ISBN：7544009106

逻辑学核心术语

（英）乔恩·威廉姆森（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

本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后，关于这个...

刘伯温全传

郝兆矩，刘文峰著1994 年出版449 页ISBN：7806120289

暂缺《刘伯温全传》简介

增订刘伯温年谱

郝兆矩著1990 年出版218 页ISBN：7534803640

新闻采写研究

宋兆宽著2002 年出版380 页ISBN：7504338583