Proof theory of modal logic / 
edited by Heinrich Wansing 
 - Boston :  Kluwer Academic Publishers,  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 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Modality (Logic)--Congresses<br/>Proof theory--Congresses
<br/><br/><label>Dewey Class. No.: </label>511.3