Bauer, F. L. & Wirsing, M. (1991), Elementare Aussagenlogik , Springer Berlin [u.a.] .