Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, Springer, 2016. [doi]

Abstract

Abstract is missing.

Table of Contents