论文部分内容阅读
《数学证明方法》是孙宗明教授的一本新著,由兰州大学出版社出版,1995年8月第1版,(甘)新登字第08号,ISBN7—311—00813—I/O·108,9787311008130】,大32开本,282页,225千字。 该书全面地论述了数学证明方法,从而形成一个完整的体系;通过若干典型的例子,详细地论述了实施数学证明的一般途径;介绍了数理逻辑的基础知识,并利用这些知识再