TY  - BOOK
AU  - Zawidzki,Michał
ED  - Uniwersytet Łódzki.
ED  - Uniwersytet Jagielloński.
TI  - Deductive systems and the decidability problem for hybrid logics
SN  - 9788379690428
PY  - 2013///
CY  - Łódź, Kraków
PB  - Wydawnictwo Uniwersytetu Łódzkiego, Jagiellonian University Press
KW  - Rozstrzygalność (logika matematyczna)
KW  - kaba
KW  - Dedukcja (logika)
N1  - Bibliogr. s. 199-209. Indeks
ER  -