Proof theory of modal logic / 
edited by Heinrich Wansing 
 - Boston :  Kluwer,  1996 
 - x, 317 p. :  ill. ;  25 cm. 
 - Applied logic series ;  v. 2 .
<br/><br/> Proceedings of a workshop held at the University of Hamburg, Nov. 19-20, 1993 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0792341201 :  USD 195.0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Modality (Logic)<br/>Proof theory
<br/><br/><label>Dewey Class. No.: </label>511.3