书目详细信息 : 数学发现的艺术:数学探索中的合情推理