Paraconsistent extensional propositional logics
- BR SPCLEARQ FAIA-Impr-IT510
- Item
- 1980-06 - 1980-09
Part of Ayda Ignez Arruda
Untitled
6 results with digital objects Show results with digital objects
Paraconsistent extensional propositional logics
Part of Ayda Ignez Arruda
Untitled
Caderno contendo anotações sobre lógicas relevante
Part of Ayda Ignez Arruda
Untitled
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Part of Ayda Ignez Arruda
Untitled
Untitled
Teoria de Conjuntos R e cálculos diversos
Part of Ayda Ignez Arruda
Untitled
Estudo contendo demonstrações de vários teoremas
Part of Ayda Ignez Arruda
Untitled
Estudo contendo vários teoremas
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Generalization of some results of Elie Sanchez
Part of Ayda Ignez Arruda
Untitled
Une étude sémantique de quelques calculs propositionnels
Part of Ayda Ignez Arruda
Untitled
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Part of Ayda Ignez Arruda
Untitled
Considerações sobre os Sistemas Fomais NFn
Part of Ayda Ignez Arruda
Untitled
On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability
Part of Ayda Ignez Arruda
Untitled
On the Imaginary Logic of N.A. Vasil'év
Part of Ayda Ignez Arruda
Untitled
Sur certains hiérarchies de calculs de prédicats
Part of Ayda Ignez Arruda
Untitled
Sur certaines hiérarchies de calculs propositionnels
Part of Ayda Ignez Arruda
Untitled
Le schéma de la separation et les calculs Tn
Part of Ayda Ignez Arruda
Untitled
Transformadas no Cálculo Restrito de Predicados
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Wroctaw: Polish Academy of Sciences
Part of Ayda Ignez Arruda
Untitled
Calculs de descriptions pour les systèmes formels inconsistants
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1
Part of Ayda Ignez Arruda
Untitled
Propositional calculus for contradctory deductive systems
Part of Ayda Ignez Arruda
Untitled
Comutadores em Variedades de Mal'cev
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Introduction to a general theory of elementary porpositions
Part of Ayda Ignez Arruda
Untitled
Vibre com o roteiro turístico da vida, trabalho e do amor
Part of Ayda Ignez Arruda
Untitled
Campinas, bicentenário é turismo
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