Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Angewandte Logik für Informatiker: Computergestützte Deduktion und formale

Ø 0.0
0 Bewertungen
55,83 €

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: