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.

• | Edited By: Eugenio G. Omodeo
• | Publisher: Springer International Publishing AG
• | Publication Date: May 03, 2018
• | Country of Publication: Switzerland
• | Number of Pages: 438 pages
• | Language: Unknown
• | Binding: Softback
• | ISBN-10: 3319824430
• | ISBN-13: 9783319824437