Logic for Computer Science: Foundations of Automatic Theorem Proving, Second
48,69 €
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition.
Jetzt bei Ebay:
![Produktbild - The Foundations of Geometry by Hilbert, David [Hardback]](https://i.ebayimg.com/thumbs/images/g/FhYAAeSwPmpoGaHa/s-l140.jpg)
![Produktbild - Documentary review of the Pythagorean Theorem throughout history [Paperback]](https://i.ebayimg.com/thumbs/images/g/ZtEAAeSwkI9oIcdD/s-l140.jpg)
![Produktbild - A Primer of Mathematical Analysis and the Foundations of Computation [Paperback]](https://i.ebayimg.com/thumbs/images/g/ffYAAOSw3gxnlo4i/s-l140.jpg)
