Einführung in die symbolische Logik : mit besonderer Berücksichtingung ihrer Anwendungen - Carnap, Rudolf (Springer-Verlag, 1960)