Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Description
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.
I have a question about the book:
‘Martin Davis on Computability, Computational Logic, and Mathematical Foundations - ’.
Fill in the form below.
We will respond as fast as possible.