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