Showing 697 results

Archival description
Ayda Ignez Arruda English
Print preview View:

10 results with digital objects Show results with digital objects

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
Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év
Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év
Críticas de Smirnov à lógica de Vasil'év
Críticas de Smirnov à lógica de Vasil'év
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 contendo vários teoremas
Estudo contendo vários teoremas
Estudo contendo demonstrações de vários teoremas
Estudo contendo demonstrações de vários teoremas
Teoria de Conjuntos R e cálculos diversos
Teoria de Conjuntos R e cálculos diversos
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Estudo sobre a regra do modus ponens
Estudo sobre a regra do modus ponens
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Caderno contendo anotações sobre lógicas relevante
Caderno contendo anotações sobre lógicas relevante
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Estudos contendo tópicos sobre axiomas
Estudos contendo tópicos sobre axiomas
Estudos analisando vários aspectos da lógica
Estudos analisando vários aspectos da lógica
Notas para a História da Lógica, História, e Variedades da Lógica
Notas para a História da Lógica, História, e Variedades da Lógica
Unidade de opostos
Unidade de opostos
Results 31 to 60 of 697