On the concept of formalization and partially ordered quantifiers
- BR SPCLEARQ FAIA-Impr-IT556
- Item
- 1977
Part of Ayda Ignez Arruda
Untitled
6 results with digital objects Show results with digital objects
On the concept of formalization and partially ordered quantifiers
Part of Ayda Ignez Arruda
Untitled
Introduction to a general theory of elementary porpositions
Part of Ayda Ignez Arruda
Untitled
Lukasiewicz and the Origins of Many-Valued Logic
Part of Ayda Ignez Arruda
Untitled
Questioni di categoricita delle teorie matematiche
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
A partial comparison of two conditions on the intersections of regressive sets
Part of Ayda Ignez Arruda
Untitled
Logique sans igalité et (k,p)-quasivalence
Part of Ayda Ignez Arruda
Untitled
On the principle of contradiction in Aristotle
Part of Ayda Ignez Arruda
Untitled
Un principio di riflessione nella teoria delle classi
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
Vasil’év and the development of Many-valued logic
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Propositional calculus for contradctory deductive systems
Part of Ayda Ignez Arruda
Untitled
International Congress on Logical Mathematic and Philosophy of Science
Part of Ayda Ignez Arruda
Untitled
International Congress of Logic, Methodology and Philosophy of Science
Part of Ayda Ignez Arruda
Untitled
A Lógica e a Matemática são idênticas?
Part of Ayda Ignez Arruda
Untitled
Logic of negationless intuitionistics mathematics
Part of Ayda Ignez Arruda
Untitled
Incompleteness and truth definition
Part of Ayda Ignez Arruda
Untitled
Su una interpretazione algebricio-categoriale del silogismo
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
How I created the theory of relativity
Part of Ayda Ignez Arruda
Untitled
On structural completeness of some nonclassical predicate calculi
Part of Ayda Ignez Arruda
Untitled
The set of quantifiers of an atomic Boolean algebra
Part of Ayda Ignez Arruda
Untitled
Boolean Powers in algebric logic
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Calculs de descriptions pour les systèmes formels inconsistants
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Sole axioms for partially ordered sets
Part of Ayda Ignez Arruda
Untitled
Measures of centrality and complexity for partial propositional calculi
Part of Ayda Ignez Arruda
Untitled