Rascunho Sobre os cálculos de predicados de Vasil'év
- BR SPCLEARQ FAIA-PIm-V-IT381
- Item
Part of Ayda Ignez Arruda
Untitled
19 results with digital objects Show results with digital objects
Rascunho Sobre os cálculos de predicados de Vasil'év
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA Silogística de Vasil'év
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
Part of Ayda Ignez Arruda
Untitled
N.A. Vasilév: a forerunner of Paraconsistent Logic
Part of Ayda Ignez Arruda
Untitled
N.A. Vasilév: a forerunner of Paraconsistent Logic
Part of Ayda Ignez Arruda
Untitled
Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
Part of Ayda Ignez Arruda
Untitled
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
Part of Ayda Ignez Arruda
Untitled
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Part of Ayda Ignez Arruda
Untitled
Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év
Part of Ayda Ignez Arruda
Untitled
Críticas de Smirnov à lógica de Vasil'év
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Estudo de AIA sobre dualidade entre C1 e C1
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Estudo sobre a completude de C+
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA, Sobre a Lógica da Vaguidade
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA Desenvolvimento de C1
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA Capítulo I: Os Cálculos Cn
Part of Ayda Ignez Arruda
Untitled
Sistemas Cn, Cw e Relacionados
Part of Ayda Ignez Arruda
Estudo contendo vários teoremas
Part of Ayda Ignez Arruda
Untitled
Estudo contendo demonstrações de vários teoremas
Part of Ayda Ignez Arruda
Untitled
Teoria de Conjuntos R e cálculos diversos
Part of Ayda Ignez Arruda
Untitled
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Part of Ayda Ignez Arruda
Untitled
Estudo sobre a regra do modus ponens
Part of Ayda Ignez Arruda
Untitled
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Part of Ayda Ignez Arruda
Untitled
Caderno contendo anotações sobre lógicas relevante
Part of Ayda Ignez Arruda
Untitled
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Part of Ayda Ignez Arruda
Untitled
Estudos contendo tópicos sobre axiomas
Part of Ayda Ignez Arruda
Untitled