Mostrando 599 resultados

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

6 resultados com objetos digitais Exibir resultados com objetos digitais

N.A. Vasilév: a forerunner of Paraconsistent Logic
N.A. Vasilév: a forerunner of Paraconsistent Logic
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
Rascunho Sobre os cálculos de predicados de Vasil'év
Rascunho Sobre os cálculos de predicados de Vasil'év
Estudo de AIA sobre a silogística de Vasil'év
Estudo de AIA sobre a silogística de Vasil'év
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 sobre a completude de C+
Estudo sobre a completude de C+
Estudo de AIA
Estudo de AIA
Capítulo I: Cálculo Proposicional
Capítulo I: Cálculo Proposicional
Capítulo II: Cálculo Proposicional
Capítulo II: Cálculo Proposicional
Função de verdade e matrizes
Função de verdade e matrizes
Capítulo I - Introdução aos Conceitos Fundamentais
Capítulo I - Introdução aos Conceitos Fundamentais
Lógicas de conceitos inexatos
Lógicas de conceitos inexatos
Sur l’ensemble R dans NFw
Sur l’ensemble R dans NFw
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Estudos analisando vários aspectos da lógica
Estudos analisando vários aspectos da lógica
Estudo sobre a regra do modus ponens
Estudo sobre a regra do modus ponens
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
As concepções lógicas de N.A. Vasil’év
As concepções lógicas de N.A. Vasil’év
As idéias lógicas de N.A. Vasil’év
As idéias lógicas de N.A. Vasil’év
Aspects of the historical development of Paraconsistent Logic
Aspects of the historical development of Paraconsistent Logic
La mathématique classiques dans Nfw
La mathématique classiques dans Nfw
On Griss propositional calculus
On Griss propositional calculus
On the Postulate of Separation
On the Postulate of Separation
Remarks on da Costa Paraconsistent set theories
Remarks on da Costa Paraconsistent set theories
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Some remarks on the logic of vagueness
Some remarks on the logic of vagueness
Mathematical Logic in Latin America
Mathematical Logic in Latin America
Mathematical Logic in Latin America
Mathematical Logic in Latin America
On the relevant systems P and P* and some related systems
On the relevant systems P and P* and some related systems
Sur le schèma de la sèparation
Sur le schèma de la sèparation
Exibindo 391-420 de 599 resultados