Logic and Discrete Mathematics (A Computer Science Perspective) - Grassmann, Winfried Karl (Prentice - Hall, 1996)