TY - BOOK AU - Chakraborti, C TI - Logic informal, symbolic & inductive SN - 81-203-2855-8 U1 - 004.22 PY - 2006/// CY - New Delhi PB - Phi Publication KW - Computer EngineeringInformation Technology ER -