S. Abramsky-Dov M. Gabbay-T. S. E. Maibaum <br/><br/>
Volume 5. Algebraic and Logical Structures 

 -  OUP Oxford  2000 
 - Handbook of Logic in Computer Science .
<br/><br/><label>ISBN: </label>9780198537816 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Data Science <br/> General<br/>Computer science.,Logic, Symbolic and mathematical.<br/>COMPUTERS