Visualizar impressão Fechar

Mostrando 261 resultados

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

2 resultados com objetos digitais Exibir resultados com objetos digitais

Várias axiomáticas para o cálculo proposicional clássico
Várias axiomáticas para o cálculo proposicional clássico
Unidade de opostos
Unidade de opostos
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
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
Transformadas no Cálculo Restrito de Predicados
Transformadas no Cálculo Restrito de Predicados
Termo de outorga e aceitação
Termo de outorga e aceitação
Termo de outorga
Termo de outorga
Termo de outorga
Termo de outorga
Teoria de Conjuntos R e cálculos diversos
Teoria de Conjuntos R e cálculos diversos
Teorema de Completude para teorias de primeira ordem
Teorema de Completude para teorias de primeira ordem
Teorema da Dedução para Teorias de Primeira Ordem
Teorema da Dedução para Teorias de Primeira Ordem
Telex de Carlos Di Prisco para AIA
Telex de Carlos Di Prisco para AIA
Telex de Carlos Di Prisco para AIA
Telex de Carlos Di Prisco para AIA
Telex de AIA ao professor Richard Routley
Telex de AIA ao professor Richard Routley
Telex de AIA
Telex de AIA
Telex de AIA
Telex de AIA
Sur une hiérarchies de systèmes formels
Sur une hiérarchies de systèmes formels
Sur un Théorème de Hilbert et Bernays
Sur un Théorème de Hilbert et Bernays
Sur le schèma de la sèparation
Sur le schèma de la sèparation
Sur l’ensemble R dans NFw
Sur l’ensemble R dans NFw
Some remarks on the logic of vagueness
Some remarks on the logic of vagueness
Sobre o Sistema G1 de Gentzen
Sobre o Sistema G1 de Gentzen
Sobre Certos Sistemas de Lógica Relevante
Sobre Certos Sistemas de Lógica Relevante
Sobre a regra do Modus Ponens
Sobre a regra do Modus Ponens
Sistemas formais inconsistentes e teorias de conjuntos
Sistemas formais inconsistentes e teorias de conjuntos
Sistema DL
Sistema DL
Semântica para D1
Semântica para D1
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Relevance Logic and the Schema of Separation
Relevance Logic and the Schema of Separation
Relatório científico
Relatório científico
Exibindo 1-30 de 261 resultados