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