Einführung in die symbolische Logik unter besonderer Berücksichtigung ihrer Anwendungen - Carnap, Rudolf (Springer, 1954)