What is a logical system? 
edited by D.M. Gabbay 
 - Oxford  Clarendon ; Oxford University Press  1994 
 - x, 454 p. : ill. ; 25 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780198538592 
<br/><br/><label>ISSN: </label>94033666 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science<br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>511.3 GAB