TY - BOOK AU - Carnap,Rudolf TI - Introduction to symbolic logic and its applications AV - BC135 .C3142 1958 PY - 1958///] CY - New York PB - Dover Publications KW - Logic, Symbolic and mathematical ER -