bibliographic details : 证明与反驳:数学发现的逻辑