TY - BOOK AU - Langer, Susanne. TI - Introd to symbolic logic SN - (N.A.) : U1 - T 511.3 21 PY - 1953/// CY - New York PB - Daver Publications KW - Logic, symbolic and mathematical KW - Mathematical (Symbolic) logic KW - Philosophy KW - Logic N1 - Includes index ER -