Visualizar impressão Fechar

Mostrando 261 resultados

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

2 resultados com objetos digitais Exibir resultados com objetos digitais

Cartão de Sava Petrov para AIA
Cartão de Sava Petrov para AIA
Carta de W.W. Tait para AIA
Carta de W.W. Tait para 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
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
Carta de Ken para AIA
Carta de Ken para AIA
Carta de Lorenzo Peña
Carta de Lorenzo Peña
Carta de Lorenzo Peña
Carta de Lorenzo Peña
Carta de Manoel Corrada para AIA
Carta de Manoel Corrada para AIA
Carta de M. Dickmann para AIA
Carta de M. Dickmann para AIA
Carta de Nicola Grana para AIA
Carta de Nicola Grana para AIA
Carta de Richard Routley para AIA
Carta de Richard Routley para AIA
Cálculo de predicados de ordem superior
Cálculo de predicados de ordem superior
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Independência de axiomas
Independência de axiomas
Aspects of the Historical Development of Paraconsistent Logic
Aspects of the Historical Development of Paraconsistent Logic
Abstract da palestra Implicative Systems and Modus Ponens Rule
Abstract da palestra Implicative Systems and Modus Ponens Rule
Observações sobre os sistemas NFi
Observações sobre os sistemas NFi
Exibindo 121-150 de 261 resultados