TY - BOOK AU - Carnap,Rudolf AU - Meyer, William H., tr. AU - Wilkinson, John , tr. TI - Introduction to symbolic logic and its applications U1 - 511.3 21 PY - 1958/// CY - New York PB - Dover Publications KW - Logic, Symbolic and mathematical N1 - "Published simultaneously in Canada"; Includes bibliography and index ER -