Einführung in die mathematische Logik Teil01 Aussagenkalkül - Asser, Günter (Leipzig : Teubner, 1972)