TY - BOOK AU - Basson A H AU - O'Connor D J TI - Introduction to symbolic logic U1 - R14, J9 PY - 1959/// CY - London PB - U T P ER -