Produção Intelectual de Terceiros Manuscrita
- BR SPCLEARQ FAIA-PItm
- Series
Part of Ayda Ignez Arruda
19 results with digital objects Show results with digital objects
Produção Intelectual de Terceiros Manuscrita
Part of Ayda Ignez Arruda
Une sémantique pour le calcul C1
Part of Ayda Ignez Arruda
Untitled
A Evolução do Método Axiomático
Part of Ayda Ignez Arruda
Untitled
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
Part of Ayda Ignez Arruda
Untitled
Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics
Part of Ayda Ignez Arruda
Untitled
Sur certains algèbres de classes non classiques
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
Further considerations on the Postulate of Separation
Part of Ayda Ignez Arruda
Untitled
O paradoxo de Curry-Moh Shaw-Kwei
Part of Ayda Ignez Arruda
Untitled
Sur une hiérarchies de systèmes formels
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Paraconsistent extensional propositional logics
Part of Ayda Ignez Arruda
Untitled
Sole axioms for partially ordered sets
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
The set of quantifiers of an atomic Boolean algebra
Part of Ayda Ignez Arruda
Untitled
On structural completeness of some nonclassical predicate calculi
Part of Ayda Ignez Arruda
Untitled
How I created the theory of relativity
Part of Ayda Ignez Arruda
Untitled
A Lógica e a Matemática são idênticas?
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Göde
Part of Ayda Ignez Arruda
Untitled
Logique sans igalité et (k,p)-quasivalence
Part of Ayda Ignez Arruda
Untitled
A partial comparison of two conditions on the intersections of regressive sets
Part of Ayda Ignez Arruda
Untitled
Lukasiewicz and the Origins of Many-Valued Logic
Part of Ayda Ignez Arruda
Untitled
On the concept of formalization and partially ordered quantifiers
Part of Ayda Ignez Arruda
Untitled
On sequential modifications of applied predicate calculi
Part of Ayda Ignez Arruda
Untitled
Grundalagenprobleme Einer theorie der klinischen praxis
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
Les logiques nouvelles et le champ de leur application
Part of Ayda Ignez Arruda
Untitled
Curriculum vitae de Florencio G. Asenjo
Part of Ayda Ignez Arruda
Untitled