Logik Fur Informatiker by Bernhard Heinemann