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