A.G.Hamilton的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
数理逻辑
A.G.Hamilton
评分 8.5分
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? Only in this century has there been success
