Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen - Carnap, Rudolf 1891-1970 (1954)