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