[德] H.-D. Ebbinghaus的图书会按更新时间持续补充,适合从代表作和同主题书继续延展阅读。
数理逻辑
[德] H.-D. Ebbinghaus
评分 9.2分
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