Title: Aussagenlogik: Deduktion und Algorithmen