Grassmann, Winfried Karl and Tremblay, Jean-Paul. Logic and discrete mathematics : a computer science pepective Grassmann, Winfried Karl and Tremblay, Jean-Paul. - Pearson 1996 Dewey Class. No.: 004.0151 / N96 GRA.T