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