TY - BOOK AU - Carnap,Rudolf TI - Introduction to symbolic logic and its applications U1 - 164 PY - 1958/// CY - New York PB - Dover Publications KW - Logic, Symbolic and mathematical N1 - Translated by William H. Meyer and John Wilkinson; Includes bibliography ER -