Angewandte Logik für Informatiker: Computergestützte Deduktion und formale Pr...
59,79 €
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:
