数理逻辑 : 第2版

”本书是一部难度适中的本科生数学教材.主要讲述了什么是数学证明,这些证明怎么能够被验证以及电脑在多大程...

2018.12

数学家用的数理逻辑教程

本书作者Yu.I.Manin是前苏联杰出的数学家,从事数论与代数几何研究工作。第1版书名为A Course in Mathemati...

2018.12