TY - BOOK AU - Carnap, Rudolf TI - Introduction to symbolic logic and its applications SN - 0486604535 U1 - 511.3 PY - 1958/// CY - New York PB - ; Dover Publications KW - Mathematical Logic KW - Mathematics KW - Symbolic Logic ER -