书目详细信息 : 证明与反驳:数学发现的逻辑