Logik für Informatiker WS17

keep-calm-and-study-logic