Structuring Mathematical Proofs2018-02-050 PRE AI DOI:10.1080/00029890.1983.11971184原文链接原文求助分享收藏摘要 En