What is a logical system? / ed. by D.M. Gabbay 

 - Oxford :  Clarendon,  1994 
 - x, 454 p 
 - Studies in logic and computation ; 4 .
<br/><br/> Monografía 
<br/><br/><label>ISBN: </label>0198538596 (encuadernado) 
<br/><br/><label>Subjects--Index Terms: </label>Computación Lógica Simbólica y Matemática 
<br/><br/><label>LC Class. No.: </label>QA9.2/W43