TY - BOOK AU - Basson,A.H. AU - O'Connor,D.J. TI - Introduction to symbolic logic SN - 0195607961 AV - BC135 .B33 1976 U1 - 511.3 22nd 2d. PY - 1976/// CY - New Delhi PB - Oxford University Press KW - Logic, Symbolic and mathematical N1 - Includes bibliographical references ( p.163-164) and index ER -