Introduction to symbolic logic and its applications - Carnap, Rudolf 1891-1970 (Dober Publ., 1958)