Visualizar impressão Fechar

Mostrando 697 resultados

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

10 resultados com objetos digitais Exibir resultados com objetos digitais

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
Sobre a regra do Modus Ponens
Sobre a regra do Modus Ponens
Teorema da Dedução para Teorias de Primeira Ordem
Teorema da Dedução para Teorias de Primeira Ordem
Estudos contendo tópicos sobre axiomas
Estudos contendo tópicos sobre axiomas
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Tradução do artigo de Jean Dieudonné
Tradução do artigo de Jean Dieudonné
Gödel’s collected works (A.S.L. Project)
Gödel’s collected works (A.S.L. Project)
Tradução do artigo de Jean Leray
Tradução do artigo de Jean Leray
Estudo de Andréa Loparic
Estudo de Andréa Loparic
Projeto Sistemas de Bibliotecas da Unicam
Projeto Sistemas de Bibliotecas da Unicam
Las concepciones logicas de N.A. Vasil’év
Las concepciones logicas de N.A. Vasil’év
Lógica e Metalógica
Lógica e Metalógica
Lógica Imaginária (Não-Aristotélica)
Lógica Imaginária (Não-Aristotélica)
Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent
Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent
Le schéma de la séparation dans les systèmes NFn
Le schéma de la séparation dans les systèmes NFn
N.A. Vasili’év e a Lógica Paraconsistente
N.A. Vasili’év e a Lógica Paraconsistente
Remarques sur les systèmes Cn. C.R. Acad. Sc
Remarques sur les systèmes Cn. C.R. Acad. Sc
Sistemas Formais Inconsistentes e Teoria dos Conjuntos
Sistemas Formais Inconsistentes e Teoria dos Conjuntos
Some remarks on Griss Logic of Negationless Intuitionistic Mathematics
Some remarks on Griss Logic of Negationless Intuitionistic Mathematics
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Sur le syst¨¨me NF¦Ø
Sur le syst¨¨me NF¦Ø
Sur les systèmes Nfi de da Costa
Sur les systèmes Nfi de da Costa
The Paradox of Russell in the Systems Nfn
The Paradox of Russell in the Systems Nfn
A semantical study of some of vagueness logic
A semantical study of some of vagueness logic
Exibindo 571-600 de 697 resultados