马丁·戴维斯论可计算性、计算逻辑和数学基础 电子书下载

原名:Martin Davis on Computability, Computational Logic, and Mathematical Foundations
作品简介:本书介绍了一系列关于马丁·戴维斯工作的历史回忆，以及他在增进我们对逻辑、计算和不可解性之间联系的理解方面所发挥的作用。个人贡献触及戴维斯作品的大部分核心方面，并将其置于当代合作中。……