数理逻辑

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

2008.05