Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendung - Carnap, Rudolf (Springer, 1973)