Showing 229 results

Archival description
Ayda Ignez Arruda Ayda Ignez Arruda
Print preview View:
Descending

2 results with digital objects Show results with digital objects

Estudo contendo vários teoremas
Estudo contendo vários teoremas
Le schéma de la separation et les calculs Tn
Le schéma de la separation et les calculs Tn
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
Results 61 to 90 of 229