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