Handbook of Practical Logic and Automated Reasoning by John Harrison
119,00 €
The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning.
Jetzt bei Ebay:
![Produktbild - Formal Reasoning: A Guide to Critical Thinking by John Symons [Hardback]](https://i.ebayimg.com/thumbs/images/g/N48AAeSw5mhoU~XH/s-l140.jpg)
