无名图书的logo
无名图书
收藏
  • 最近更新
  • 文学
  • 社会文化
  • 历史
  • 经济
  • 理工科
  • 政治
  • 健康
  • 自然科学
  • 计算机
  • 设计
  • 美食旅行
  • 思想
  • 生物
  • 建筑
  • 绘本
  • 天文

[德] H.-D. Ebbinghaus的作品

[德] 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