Beweise und Algorithmen: Eine Einführung in Logik und Berechenbarkeit, Taschenbuch...
36,79 €
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:
![Produktbild - An Introduction to Logic and Scientific Method by Cohen, Morris F. [Paperback]](https://i.ebayimg.com/thumbs/images/g/dxcAAeSwBsxoSSXA/s-l140.jpg)
