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