Voltar aos Detalhes do Artigo Buridan’s logic: testability and models Baixar Baixar PDF