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