Deductive Systems and the Decidability Problem for Hybrid Logics

Autor:	Zawidzki, Michał
Databáze:	Central and Eastern European Online Library (CEEOL)
Externí odkaz:	https://www.ceeol.com//search/book-detail?id=589946 Zobrazit plný text záznamu