书目详细信息 : 数学中的矛盾转换法