TY - BOOK AU - Kelly,John J. TI - The essence of logic SN - 8120311906 (pbk) : U1 - 160 PY - 1997/// CY - New Delhi PB - Prentice-Hall of India KW - Computer science KW - Logic, Symbolic and mathematical N1 - Includes bibliographical references and index ER -