TY - BOOK AU - Zawidzki TI - Deductive Systems and Decidability Problem for Hybrid Logics SN - 9788323390183 PB - Jagiellonian University Press KW - Philosophy UR - https://www.cambridge.org/core/product/identifier/9788323390183/type/BOOK ER -