Einführung in die Logik 1 Aussagenlogik - Söder, Karl (Berlin, 1971)