Discrete mathematics and induction to proofs and combinatory - Ferland, Kevin (Houghton Mifflin Company, 2009)