Grassmann, Winfried K. , Logic and discrete mathematics : a computer science perpective / Winfried Karl Grassmann, Jean-Paul Tremblay. ISBN: 0135012066 Subjects--Topical Terms: Computer science --Mathematics. LC Class. No.: QA76.9M35 / .G73 1996