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