Imprimir vista previa Cerrar

Mostrando 261 resultados

Descripción archivística
Ayda Ignez Arruda Ayda Ignez Arruda Inglés
Imprimir vista previa Ver :
Clasificación en orden ascendente

2 resultados con objetos digitales Muestra los resultados con objetos digitales

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
Aerograma de Ken para AIA
Aerograma de Ken para AIA
Carta de Marek Palasinski para AIA
Carta de Marek Palasinski para AIA
Carta de Maria da Graça Rodrigues
Carta de Maria da Graça Rodrigues
Carta de Oswaldo Porchat Pereira para AIA
Carta de Oswaldo Porchat Pereira para AIA
Carta de Paolo Bottura para AIA
Carta de Paolo Bottura para AIA
Carta de Paolo Bottura para AIA
Carta de Paolo Bottura para AIA
Aplicação de Matrizes
Aplicação de Matrizes
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Introdução: 3 – Matrizes
Introdução: 3 – Matrizes
Matrizes
Matrizes
Várias axiomáticas para o cálculo proposicional clássico
Várias axiomáticas para o cálculo proposicional clássico
Artigo cálculos proposicionais
Artigo cálculos proposicionais
Observações sobre um sistema sem a regra do modus ponens
Observações sobre um sistema sem a regra do modus ponens
Relevance Logic and the Schema of Separation
Relevance Logic and the Schema of Separation
Resultados 181 a 210 de 261