Visualizar impressão Fechar

Mostrando 743 resultados

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

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
Cálculos Proposicionais, de Predicados e Matrizes
Cálculos Proposicionais, de Predicados e Matrizes
Os sistemas P e P*,
Os sistemas P e P*,
Artigo sem título
Artigo sem título
Une sémantique pour le calcul C1=
Une sémantique pour le calcul C1=
Sur la Théorie des Sytèmes Formels Inconsistants
Sur la Théorie des Sytèmes Formels Inconsistants
Sobre A Teoria dos Tipos
Sobre A Teoria dos Tipos
Silogismos Não-Aristotélicos
Silogismos Não-Aristotélicos
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Resumo de AIA intitulado On Griss' Propositional Calculus
Resumo de AIA intitulado On Griss' Propositional Calculus
Observações sobre o conjunto de Russell
Observações sobre o conjunto de Russell
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Álgebras de conjuntos não-clássicas
Álgebras de conjuntos não-clássicas
Artigos
Artigos
Produção Intelectual Manuscrita
Produção Intelectual Manuscrita
Les logiques nouvelles et le champ de leur application
Les logiques nouvelles et le champ de leur application
Logical matrices strongly adequate for structural setential calculi
Logical matrices strongly adequate for structural setential calculi
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
Exibindo 91-120 de 743 resultados