Logic and discrete mathematics: A computer science perspective - GRASSMANN, Winfried Karl (Prentice Hall Simon & Schuster)