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