- BR SPCLEARQ FAIA-PIm-CP-IT402
- Item
Part of Ayda Ignez Arruda
Untitled
19 results with digital objects Show results with digital objects
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Decidibilidade do cálculo implicativo clássico
Part of Ayda Ignez Arruda
Untitled
Decidibilidade do cálculo implicativo clássico
Part of Ayda Ignez Arruda
Untitled
Capítulo II: Cálculo Proposicional
Part of Ayda Ignez Arruda
Untitled
Capítulo I: Cálculo Proposicional
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Cálculo de predicados de ordem superior
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Cálculos Proposicionais, de Predicados e Matrizes
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1=
Part of Ayda Ignez Arruda
Untitled
Sur la Théorie des Sytèmes Formels Inconsistants
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Part of Ayda Ignez Arruda
Untitled
Resumo de AIA intitulado On Griss' Propositional Calculus
Part of Ayda Ignez Arruda
Untitled
Observações sobre o conjunto de Russell
Part of Ayda Ignez Arruda
Untitled
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Part of Ayda Ignez Arruda
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Part of Ayda Ignez Arruda
Untitled
Álgebras de conjuntos não-clássicas
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Produção Intelectual Manuscrita
Part of Ayda Ignez Arruda
Les logiques nouvelles et le champ de leur application
Part of Ayda Ignez Arruda
Untitled
Logical matrices strongly adequate for structural setential calculi
Part of Ayda Ignez Arruda
Untitled
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Part of Ayda Ignez Arruda
Untitled
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Part of Ayda Ignez Arruda
Untitled
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
Part of Ayda Ignez Arruda
Untitled
Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática
Part of Ayda Ignez Arruda
Untitled