Mathematical Logic的书评 (1)

李高尚 2012-10-13 10:27:05 世界图书出版公司2008版

走向逻辑之路的必读教材

北大以此作为研究生的数理逻辑教材。 邢滔滔老师的《数理逻辑》也脱胎于此。 书中详略得当,对于基础一点而过,适合有些逻辑基础的人来学习。 书中的推演系统是矢列演算,这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比,可以更有助于整体的...  (展开)

订阅Mathematical Logic的书评