Braüner, T.     Hybrid logic and its proof-theory [Electronic resource] / T. Braüner. - Electronic text data. - Dordrecht : Springer Science+Business Media B.V., 2011. - (Applied logic series, ISSN 1386-2790 ; 37). - ISBN 978-94-007-0002-4 : Б. ц. Рубрики: Philosophy (general)    Logic    Computer science    Logic, symbolic and mathematical    Philosophy    Logic    Mathematical logic and formal languages    Mathematical logic and foundations См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет