Reverse Mathematics in Bishop’s Constructive Mathematics2006-01-010 PRE AI DOI:10.4000/philosophiascientiae.406原文链接原文求助分享收藏摘要 En