Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Omschrijving
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.
Ik heb een vraag over het boek: ‘Martin Davis on Computability, Computational Logic, and Mathematical Foundations - ’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
