Bauer, Friedrich L. and Wirsing, Martin. Elementare Aussagenlogik. : Springer Berlin [u.a.], 1991.