Logic informal,symbolic and inductive - Chakraborty, Chhanda (PHI Learning, 2009)