Elementare Aussagenlogik door Friedrich L. Bauer & Martin Wirsing