TY - BOOK AU - Chakraborti, C. TI - Logic: informal , symbolic and inductive U1 - 160 C348L PY - 2006/// CY - New Delhi PB - Prentice ER -