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
Mathematical Logic
H.-D. Ebbinghaus
评分 8.9分
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method a
