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