Martin Davis on Computability, Computational Logic, and Mathematical Foundations

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.

• | Author: Alberto Policriti, Eugenio G. Omodeo
• | Publisher: Springer International Publishing AG
• | Publication Date: May 03, 2018
• | Number of Pages:
• | Language:
• | Binding: Paperback / softback
• | ISBN-13: 9783319824437
• | ISBN-10: 3319824430