Introduction to symbolic logic and its applications. Tr by William H Mayer and John Wilkinson. - Carnap Rudolf (1958)