Bauer, F. L., Wirsing, M. (1991). Elementare Aussagenlogik. Springer Berlin [u.a.]. ISBN: 3-540-52974-8