Bauer, Friedrich L. ; Wirsing, Martin: Elementare Aussagenlogik : Springer Berlin [u.a.], 1991. - ISBN 3-540-52974-8