TY - BOOK AU - Langer S K TI - Introduction to symbolic logic U1 - 164 PY - 1937/// CY - Boston PB - Houghton Mifflin KW - Mathematical logic KW - Symbolic logic ER -