- BR SPCLEARQ FAIA-Impr-IT542
- Item
- 1973.
Part of Ayda Ignez Arruda
Untitled
19 results with digital objects Show results with digital objects
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
Leibniziani e strutture alla luce della logica matematica
Part of Ayda Ignez Arruda
Untitled
Wroctaw: Polish Academy of Sciences
Part of Ayda Ignez Arruda
Untitled
Paraconsistent extensional propositional logics
Part of Ayda Ignez Arruda
Untitled
Um currículo para a formação do professor de matemática do ensino secundário
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Introduction: A Short History of the Latin American Logic Symposia
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1=. C.R
Part of Ayda Ignez Arruda
Untitled
Transformadas no Cálculo Restrito de Predicados
Part of Ayda Ignez Arruda
Untitled
Sur une hiérarchies de systèmes formels
Part of Ayda Ignez Arruda
Untitled
Sur un Théorème de Hilbert et Bernays
Part of Ayda Ignez Arruda
Untitled
Sur le schèma de la sèparation
Part of Ayda Ignez Arruda
Untitled