Zawidzki, Michał. <br/><br/>
Deductive systems and the decidability problem for hybrid logics / 
Michał Zawidzki. 
 - Łódź :  Kraków :  Wydawnictwo Uniwersytetu Łódzkiego ;  Jagiellonian University Press,  2013. 
 - XIV, 215, [1] s. :  il. (w tym kolor.) ;  25 cm. 
<br/><br/>Bibliogr. s. 199-209. Indeks. 
<br/><br/><label>ISBN: </label>9788379690428 9788323336952 9788379690435 9788379690541 9788323390183 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Rozstrzygalność (logika matematyczna).<br/>Dedukcja (logika).