Voltar aos Detalhes do Artigo
Um modelo algébrico para a lógica modal KD
Baixar
Baixar PDF