Introduction to symbolic logic and its applications. - Carnap, Rudolf (New York : Dover Publications, Inc., 1958)