Handbook of logic in computer science/ 
edited by S.Abramsky,Dov M.Gabbay and T.S.E.Maibaum 
 - Oxford :  The University Press,  1992 
 - v.;  24cm 
<br/><br/>Includes bibliographical references and index 
<br/><br/>Contents:v.2.Background:Computational structures.-x,571p. 
<br/><br/><label>ISBN: </label>0198537611  £60.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science<br/>Logic,symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>enk