ISBN: 9780070159105 - computability and unsolvability:information processing (1 risultati)

Hardcover. Condizione: Used: Very Good. 1st ed. First edition, 1958. Very good in red cloth wtih blue and gilt labels. Computability and Unsolvability by Martin Davis is a classic, advanced undergraduate textbook that introduces the theory of computability, covering topics like recursive functions, Turing machines, and unsolvable problems, with applications in logic and mathematics (like Hilbert's Tenth Problem). First published in 1958, it's considered a foundational text in theoretical computer science, known for its clear exposition and for introducing standard terminology still used today. (amz). …