Elementare Aussagenlogik by Friedrich L. Bauer & Martin Wirsing