TY - BOOK AU - CHHANDA CHAKRABORTI TI - LOGIC : INFORMAL SYMBOLIC AND INDUCTIVE SN - 81-203-2855-8 U1 - 511.3 CHH PY - 2006/// PB - PHI ER -