Mathematisch-Naturwissenschaftliche Bibliothek Band 18 Einführung in die Mathematische Logik : Teil 1 Aussagenkalkül - Asser, G. (Leipzig : Teubner, 1977)