TY - BOOK AU - O'Connor, D.J. TI - Introduction to symbolic logic SN - 0-7231-0456-5 PB - University tutorial press. London, U.K. ER -