摘要

<正>这是我迄今为止写得最为艰难的一篇书评。这部2022年10月由科学出版社出版的《数理逻辑引论——计算机科学与系统的天然基础》(简称《数理逻辑引论》)专业性和学术性都很强,读懂、消化、理解都比较困难,更遑论用通俗的文字解读、评价。