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