Chakraborti, C. Logic: informal , symbolic and inductive - New Delhi Prentice 2006 - 552p. Dewey Class. No.: 160 C348L