Logic And Discrete Mathematics by Jean Paul Tremblay, Winfried K. Grassman & Winfried Karl Grassman