Introduction to symbolic logic and its applications tr by William H Meyer and John Wilkinson - Carnap, Rudolf (1958)