现在正值开学季，科学出版社为全国的理科大学生献上了一份厚礼，那就是柯朗与约翰写的两卷名著《微积分和数学分析引论》（以下简称《引论》）的重新排版本。虽然这两卷名著的英文版都 ...

这是我迄今为止写得最为艰难的一篇书评，这部2022年10月由科学出版社出版的《数理逻辑引论——计算机科学与系统的天然基础》（以下简称《数理逻辑引论》）太专业、太学术了，读懂、消化 ...