Logic and discrete mathematics - Winfried Karl Grassmann (Prentice Hall, 1996)