Logik für die Informatik: Klassik und Nicht-Klassik, Hardcover von Wasil...
150,82 €
They are followed by strict formal approach chapters. While many logic books are available, they were written by logicians for logicians, not for computer scientists. They usually choose one particular way of presenting the material and use a specialized language.
Jetzt bei Ebay: