#Logik UE excersices for Logik https://www2.informatik.hu-berlin.de/logik/lehre/WS16-17/Logik/ Thanks to https://github.com/Tummetott and https://github.com/bucherfa