Angewandte Logik für Informatiker: Computational Deduction und Formal
86,99 €
The authors present a concise overview of the necessary computational and mathematical aspects of 'logic', placing emphasis on both natural deduction and sequent calculus. Differences between constructive and classical logic are highlighted through several examples and exercises.
Jetzt bei Ebay:
![Produktbild - Environmental Sustainability for Engineers and Applied Scientists [Paperback]](https://i.ebayimg.com/thumbs/images/g/I-IAAeSwd2RoPVqW/s-l140.jpg)
![Produktbild - Applied Mathematics and Computational Physics by Aihua Wood [Hardback] NEUF](https://i.ebayimg.com/thumbs/images/g/W6EAAeSwYVpoB0iI/s-l140.jpg)
![Produktbild - Computational Linear and Commutative Algebra by Robbiano, Lorenzo [Paperback]](https://i.ebayimg.com/thumbs/images/g/AVgAAeSwN~poO~3m/s-l140.jpg)
![Produktbild - Chor, B: Computational Thinking for Life Scientists by Benny [Hardback] NEUF](https://i.ebayimg.com/thumbs/images/g/XqAAAeSwUCpoPOXl/s-l140.jpg)