Mostrando 743 resultados

Descrição arquivística
Ayda Ignez Arruda
Visualizar impressão Visualizar:
Decrescente

19 resultados com objetos digitais Exibir resultados com objetos digitais

Independência de axiomas
Independência de axiomas
Função de verdade e matrizes
Função de verdade e matrizes
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Capítulo II: Cálculo Proposicional
Capítulo II: Cálculo Proposicional
Capítulo I: Cálculo Proposicional
Capítulo I: Cálculo Proposicional
Cálculo Proposicional
Cálculo Proposicional
Cálculo de predicados de ordem superior
Cálculo de predicados de ordem superior
Aplicação de Matrizes
Aplicação de Matrizes
Estudo de AIA sobre dualidade entre C1 e C1
Estudo de AIA sobre dualidade entre C1 e C1
Estudo de AIA
Estudo de AIA
Estudo sobre a completude de C+
Estudo sobre a completude de C+
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Estudo de AIA Teoremas em Cw
Estudo de AIA Teoremas em Cw
Estudo de AIA, Sobre a Lógica da Vaguidade
Estudo de AIA, Sobre a Lógica da Vaguidade
Estudo de AIA Desenvolvimento de C1
Estudo de AIA Desenvolvimento de C1
Estudo de AIA Capítulo I: Os Cálculos Cn
Estudo de AIA Capítulo I: Os Cálculos Cn
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Estudo de AIA sobre a silogística de Vasil'év
Estudo de AIA sobre a silogística de Vasil'év
Estudo de AIA sem título
Estudo de AIA sem título
Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic
Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic
Rascunho Sobre os cálculos de predicados de Vasil'év
Rascunho Sobre os cálculos de predicados de Vasil'év
Estudo de AIA Silogística de Vasil'év
Estudo de AIA Silogística de Vasil'év
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
N.A. Vasilév: a forerunner of Paraconsistent Logic
N.A. Vasilév: a forerunner of Paraconsistent Logic
N.A. Vasilév: a forerunner of Paraconsistent Logic
N.A. Vasilév: a forerunner of Paraconsistent Logic
Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Exibindo 271-300 de 743 resultados