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