Mostrando 229 resultados

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

2 resultados com objetos digitais Exibir resultados com objetos digitais

Transformadas no Cálculo Restrito de Predicados
Transformadas no Cálculo Restrito de Predicados
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
Semântica para D1
Semântica para D1
Sistema DL
Sistema DL
Sistemas formais inconsistentes e teorias de conjuntos
Sistemas formais inconsistentes e teorias de conjuntos
Sobre Certos Sistemas de Lógica Relevante
Sobre Certos Sistemas de Lógica Relevante
Teorema de Completude para teorias de primeira ordem
Teorema de Completude para teorias de primeira ordem
Unidade de opostos
Unidade de opostos
Notas para a História da Lógica, História, e Variedades da Lógica
Notas para a História da Lógica, História, e Variedades da Lógica
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Further considerations on the Postulate of Separation
Further considerations on the Postulate of Separation
O paradoxo de Curry-Moh Shaw-Kwei
O paradoxo de Curry-Moh Shaw-Kwei
Sur une hiérarchies de systèmes formels
Sur une hiérarchies de systèmes formels
Mathematical Logic
Mathematical Logic
Carta de Paul Weingartner
Carta de Paul Weingartner
Carta de Ayda Ignez de Arruda
Carta de Ayda Ignez de Arruda
Telex de AIA
Telex de AIA
Exibindo 61-90 de 229 resultados