Handbook of logic in computer science/ 
edited by S.Abramsky,Dov M.Gabbay and T.S.E.Maibaum 
 - Oxford :  The University Press,  1992 
 - v.;  24 cm 
<br/><br/>Includes bibliographical references and index 
<br/><br/>Contents:v.1.Background:Mathematical structures. - xii,827p.-v.2. Bacground: computational structures. - 571p. 
<br/><br/><label>ISBN: </label>0198537352(v.1)  £85.00 0198537611(v.2)  £ 60.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science--Mathematics<br/>Logic,symbolic and mathematical<br/>Logic programming<br/>Logic design--Computer programs
<br/><br/><label>Dewey Class. No.: </label>511.3  / H 191