Labelled deduction 
edited by David Basin ... [et al.] 
 - Dordrecht ; Boston  Kluwer Academic Publishers  c2000 
 - xi, 266 p. : ill. ; 25 cm 
<br/><br/> Includes bibliographical references 
<br/><br/><label>ISBN: </label>9780792362371 
<br/><br/><label>ISSN: </label>28202 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Modality (Logic)
<br/><br/><label>Dewey Class. No.: </label>511.3 BAS