Logik Fur Informatiker door Bernhard Heinemann