Hybrid logic and its proof-theory /

Na minha lista:
Detalhes bibliográficos
Autor principal: Braüner, Torben.
Formato: Livro
Publicado em:
Assuntos:
Endereço do item:https://app.bczm.ufrn.br/home/#/item/170265
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!