TY - BOOK AU - Basson,A.H. AU - O'connor,D.J. TI - Introduction to symbolic logic U1 - 511.3 23 PY - 1959/// [Reprinted 1970] CY - London PB - Tutorial KW - Logic, Symbolic and mathematical N1 - Includes index ER -