Logik für Informatiker - e-bok, Tysk, 2013