Brauner,Torben <br/><br/>
Hybrid logic and its proof-theory 
Torben Brauner 
 - Dordrecht:  Springer,  2010 
 - xiii, 231 p.  23 cm 
<br/><br/> Contine Bibliografie si Index 
<br/><br/><br/>eng 
<br/><br/><label>ISBN: </label>9789400734357 
<br/><br/><label>Dewey Class. No.: </label>511.3