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