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