Voltar aos Detalhes do Artigo Lógica da Dedutibilidade: o axioma modal B e adjunções Baixar Baixar PDF