Logic and discrete mathematics : a computer science perspective - Grassmann, Winfried K. (Pearson/Prentice Hall, 1996)