Gabbay, Dov M.,  1945- <br/><br/>
Labelled deductive systems / 
Dov M. Gabbay. 
 - New York :  Oxford :  Oxford University Press,  Clarendon Press ;  1996- 
 - v. 1    :  ill. ;  24 cm. 
 - Oxford logic guides ;  33 Oxford science publications .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0198538332 (v. 1) 
<br/><br/><label>LCCN: </label>96025507 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic
<br/><br/><label>LC Class. No.: </label>BC71 
<br/><br/><label>Dewey Class. No.: </label>160