Mostrando 743 resultados

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

19 resultados com objetos digitais Exibir resultados com objetos digitais

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
Introduction: A Short History of the Latin American Logic Symposia
Introduction: A Short History of the Latin American Logic Symposia
Boletim Informativo
Boletim Informativo
Proceedings of the Third Brazilian Conference on Mathematical Logic
Proceedings of the Third Brazilian Conference on Mathematical Logic
Leibniziani e strutture alla luce della logica matematica
Leibniziani e strutture alla luce della logica matematica
Measures of centrality and complexity for partial propositional calculi
Measures of centrality and complexity for partial propositional calculi
Exibindo 511-540 de 743 resultados