TY - BOOK AU - Chakraborti, Chhanda. TI - Logic: informal symbolic and indictive: Informal symbolic and indictive SN - 8120328558 U1 - 160 CHAC PY - 2006/// CY - New Delhi PB - Prentice Hall of India PVt Ltd KW - Logic Programming ER -