Einführung in die symbolische Logik - Carnap, Rudolf 1891-1970 (1958)