What is a logical system? / 
edited by D.M. Gabbay. 
 -  Clarendon Press ;  Oxford University Press,  1994. 
 - x, 454 p. :  ill. ;  25 cm. 
 - Studies in logic and computation ;  4 Oxford science publications .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0198538596 (cloth) 
<br/><br/><label>LCCN: </label>94033666  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Computer science.
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკა მათემატიკური ლოგიკა კომპიუტერული მეცნიერება  
<br/><br/><label>LC Class. No.: </label>QA9.2  / .W48 1994 
<br/><br/><label>Dewey Class. No.: </label>511.3 
<br/><br/><label>Universal Decimal Class. No.: </label>510.6