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