Logic Informal, symbolic and inductive - Chakraborti, Chhanda (PHI, 2006)