TY - BOOK AU - Langer,Susanne K TI - Introduction to symbolic logic SN - 0486601641 U1 - 511.3 PY - 1967/// CY - New York PB - Dover Publications KW - Logical calculation KW - Symbolic logic ER -