TY - BOOK AU - Thomson Richmond H TI - Symbolic logic : an introduction U1 - R14, L0-;1 PY - 1970/// KW - PHILOSOPHY ER -