Ayda Ignez Arruda
Retrato de AIA
Fotografias
Fotografias
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Conferência Alfred Tarski
Conferência Alfred Tarski
Caderno contendo anotações sobre lógicas relevante
Caderno contendo anotações sobre lógicas relevante
Paraconsistent extensional propositional logics
Paraconsistent extensional propositional logics
Untitled
Untitled
Teoria de Conjuntos R e cálculos diversos
Teoria de Conjuntos R e cálculos diversos
Estudo contendo demonstrações de vários teoremas
Estudo contendo demonstrações de vários teoremas
Estudo contendo vários teoremas
Estudo contendo vários teoremas
Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik
Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik
Generalization of some results of Elie Sanchez
Generalization of some results of Elie Sanchez
Une étude sémantique de quelques calculs propositionnels
Une étude sémantique de quelques calculs propositionnels
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Considerações sobre os Sistemas Fomais NFn
Considerações sobre os Sistemas Fomais NFn
On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability
On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability
On the Imaginary Logic of N.A. Vasil'év
On the Imaginary Logic of N.A. Vasil'év
Sur certains hiérarchies de calculs de prédicats
Sur certains hiérarchies de calculs de prédicats
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Le schéma de la separation et les calculs Tn
Le schéma de la separation et les calculs Tn
Transformadas no Cálculo Restrito de Predicados
Transformadas no Cálculo Restrito de Predicados
Boletim Informativo
Boletim Informativo
Wroctaw: Polish Academy of Sciences
Wroctaw: Polish Academy of Sciences
Calculs de descriptions pour les systèmes formels inconsistants
Calculs de descriptions pour les systèmes formels inconsistants
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Propositional calculus for contradctory deductive systems
Propositional calculus for contradctory deductive systems
Comutadores em Variedades de Mal'cev
Comutadores em Variedades de Mal'cev
O que é o Impa?
O que é o Impa?
