S Abramsky <br/><br/>
Handbook of logic in computer science- 2 vol. 

 - Oxford  Clarendon press  1992 
<br/><br/><label>Subjects--Topical Terms: </label><br/>vol.1- Background: Mathematical structures<br/>vol.2- Background: Computational structures
<br/><br/><label>Dewey Class. No.: </label>004.0151  / HAN.H.1-2