Brauner, Torben <br/><br/>
Hybrid logic and its proof-theory 

 - Dordrecht  Springer  2011 
 - xiii, 231p. ; 24 cm. 
 - Applied logic series : v.37 .
<br/><br/><label>ISBN: </label>9789400700017  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>511.3  / BRA