Showing 5150 results

Archival description
Print preview View:
Descending

1786 results with digital objects Show results with digital objects

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)
Impressos
Impressos
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
Sur un Théorème de Hilbert et Bernays
Sur un Théorème de Hilbert et Bernays
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
Um currículo para a formação do professor de matemática do ensino secundário
Um currículo para a formação do professor de matemática do ensino secundário
Results 4411 to 4440 of 5150