Mathematische Logik und Berechnung von Jeremy Avigad (Englisch) Hardcover Buch
112,67 €
By Jeremy Avigad. His research interests include mathematical logic, formal verification, automated reasoning, and the philosophy and history of mathematics. The result provides a jumping off point to any of the fields of modern logic, not only teaching the technical groundwork, but also providing a window into how to think like a logician.'.
Jetzt bei Ebay:
![Produktbild - Mathematical Logic and Computation by Avigad, Jeremy [Hardback]](https://i.ebayimg.com/thumbs/images/g/jI0AAeSwVFJoEhp9/s-l140.jpg)
