Einfu?hrung in die symbolische Logik : mit besonderer Beru?cksichtigung ihrer Anwendungen - Carnap, Rudolf, 1891-1970 (Springer Verlag, 1960)