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