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