Proofs and Algorithms : An Introduction to Logic and Computability, Paperback...
38,02 €
It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel’s incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.
Jetzt bei Ebay:
