- BR SPCLEARQ FAIA-Impr-IT508
- Item
- [1978]
Part of Ayda Ignez Arruda
Untitled
2 results with digital objects Show results with digital objects
Part of Ayda Ignez Arruda
Untitled
Introduction: A Short History of the Latin American Logic Symposia
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1=. C.R
Part of Ayda Ignez Arruda
Untitled
Transformadas no Cálculo Restrito de Predicados
Part of Ayda Ignez Arruda
Untitled
Sur une hiérarchies de systèmes formels
Part of Ayda Ignez Arruda
Untitled
Sur un Théorème de Hilbert et Bernays
Part of Ayda Ignez Arruda
Untitled
Sur le schèma de la sèparation
Part of Ayda Ignez Arruda
Untitled
On the relevant systems P and P* and some related systems
Part of Ayda Ignez Arruda
Untitled
O paradoxo de Curry-Moh Shaw-Kwei
Part of Ayda Ignez Arruda
Untitled
Le schéma de la separation et les calculs Tn
Part of Ayda Ignez Arruda
Untitled
Further considerations on the Postulate of Separation
Part of Ayda Ignez Arruda
Untitled
Mathematical Logic in Latin America
Part of Ayda Ignez Arruda
Untitled
Mathematical Logic in Latin America
Part of Ayda Ignez Arruda
Untitled
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Part of Ayda Ignez Arruda
Untitled
Some remarks on the logic of vagueness
Part of Ayda Ignez Arruda
Untitled
Estudo contendo vários teoremas
Part of Ayda Ignez Arruda
Untitled
Estudo contendo demonstrações de vários teoremas
Part of Ayda Ignez Arruda
Untitled
Teoria de Conjuntos R e cálculos diversos
Part of Ayda Ignez Arruda
Untitled
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Part of Ayda Ignez Arruda
Untitled
Estudo sobre a regra do modus ponens
Part of Ayda Ignez Arruda
Untitled
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Part of Ayda Ignez Arruda
Untitled
Caderno contendo anotações sobre lógicas relevante
Part of Ayda Ignez Arruda
Untitled
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Part of Ayda Ignez Arruda
Untitled
Estudos contendo tópicos sobre axiomas
Part of Ayda Ignez Arruda
Untitled
Estudos analisando vários aspectos da lógica
Part of Ayda Ignez Arruda
Untitled
Notas para a História da Lógica, História, e Variedades da Lógica
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Part of Ayda Ignez Arruda
Untitled
Teorema de Completude para teorias de primeira ordem
Part of Ayda Ignez Arruda
Untitled
Teorema da Dedução para Teorias de Primeira Ordem
Part of Ayda Ignez Arruda
Untitled