LOGIC AND DISCRETE MATHEMATICS - GRASSMANN WINFRIED KARL & TREMBLAY JEAN-PAUL (NEW YORK PEARSON, 2008)