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