Aussagenlogik eine leichtverständliche Einführung in elementare Probleme der modernen Logik - Schick, Karl (Herder, 1975)