- BR SPCLEARQ FAIA-PIm-CP-IT402
- Unidad documental simple
Parte deAyda Ignez Arruda
Sin título
19 resultados con objetos digitales Muestra los resultados con objetos digitales
Parte deAyda Ignez Arruda
Sin título
Parte deAyda Ignez Arruda
Sin título
Decidibilidade do cálculo implicativo clássico
Parte deAyda Ignez Arruda
Sin título
Decidibilidade do cálculo implicativo clássico
Parte deAyda Ignez Arruda
Sin título
Capítulo II: Cálculo Proposicional
Parte deAyda Ignez Arruda
Sin título
Capítulo I: Cálculo Proposicional
Parte deAyda Ignez Arruda
Sin título
Parte deAyda Ignez Arruda
Sin título
Cálculo de predicados de ordem superior
Parte deAyda Ignez Arruda
Sin título
Parte deAyda Ignez Arruda
Sin título
Cálculos Proposicionais, de Predicados e Matrizes
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Sin título
Parte deAyda Ignez Arruda
Sin título
Une sémantique pour le calcul C1=
Parte deAyda Ignez Arruda
Sin título
Sur la Théorie des Sytèmes Formels Inconsistants
Parte deAyda Ignez Arruda
Sin título
Parte deAyda Ignez Arruda
Sin título
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
Resumo de AIA intitulado On Griss' Propositional Calculus
Parte deAyda Ignez Arruda
Sin título
Observações sobre o conjunto de Russell
Parte deAyda Ignez Arruda
Sin título
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Parte deAyda Ignez Arruda
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Parte deAyda Ignez Arruda
Sin título
Álgebras de conjuntos não-clássicas
Parte deAyda Ignez Arruda
Sin título
Parte deAyda Ignez Arruda
Produção Intelectual Manuscrita
Parte deAyda Ignez Arruda
Les logiques nouvelles et le champ de leur application
Parte deAyda Ignez Arruda
Sin título
Logical matrices strongly adequate for structural setential calculi
Parte deAyda Ignez Arruda
Sin título
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Parte deAyda Ignez Arruda
Sin título
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Parte deAyda Ignez Arruda
Sin título
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
Parte deAyda Ignez Arruda
Sin título
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
Parte deAyda Ignez Arruda
Sin título