Grassmann Winfriend & Trembly Jean Paul <br/><br/>
Logic and discrete mathematics 

 -  N jersey prentice hall  1996 
 - 750