Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
- BR SPCLEARQ FAIA-PIm-V-IT379
- Item
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
1731 resultados com objetos digitais Exibir resultados com objetos digitais
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Rascunho Sobre os cálculos de predicados de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA sobre a silogística de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo sobre a completude de C+
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo I: Cálculo Proposicional
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo II: Cálculo Proposicional
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo I - Introdução aos Conceitos Fundamentais
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudos analisando vários aspectos da lógica
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo sobre a regra do modus ponens
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
As concepções lógicas de N.A. Vasil’év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
As idéias lógicas de N.A. Vasil’év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Aspects of the historical development of Paraconsistent Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
La mathématique classiques dans Nfw
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On Griss propositional calculus
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the Postulate of Separation
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Remarks on da Costa Paraconsistent set theories
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Some remarks on the logic of vagueness
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Mathematical Logic in Latin America
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Mathematical Logic in Latin America
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the relevant systems P and P* and some related systems
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur le schèma de la sèparation
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Introduction: A Short History of the Latin American Logic Symposia
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda