TY - BOOK AU - Langer S K TI - Introduction to symbolic logic U1 - 164 PY - 1937/// CY - London PB - George Allen & Unwin KW - Mathematical logic KW - Symbolic logic ER -