Sur une hiérarchies de systèmes formels
- BR SPCLEARQ FAIA-Impr-IT504
- Item
- 1964-11-02
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
19 resultados com objetos digitais Exibir resultados com objetos digitais
Sur une hiérarchies de systèmes formels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur un Théorème de Hilbert et Bernays
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur le schèma de la sèparation
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the relevant systems P and P* and some related systems
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
O paradoxo de Curry-Moh Shaw-Kwei
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Le schéma de la separation et les calculs Tn
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Further considerations on the Postulate of Separation
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Mathematical Logic in Latin America
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Mathematical Logic in Latin America
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
Some remarks on the logic of vagueness
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A semantical study of some of vagueness logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
The Paradox of Russell in the Systems Nfn
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur les systèmes Nfi de da Costa
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certains hiérarchies de calculs de prédicats
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sur certains algèbres de classes non classiques
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Some remarks on Griss Logic of Negationless Intuitionistic Mathematics
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sistemas Formais Inconsistentes e Teoria dos Conjuntos
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Remarques sur les systèmes Cn. C.R. Acad. Sc
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Remarks on da Costa Paraconsistent set theories
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the Postulate of Separation
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the Imaginary Logic of N.A. Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On Griss propositional calculus
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda