Comutadores em Variedades de Mal'cev
- BR SPCLEARQ FAIA-Impr-IT545
- Item
- 1982-06
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
16 resultados com objetos digitais Exibir resultados com objetos digitais
Comutadores em Variedades de Mal'cev
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Göde
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Vasil’év and the development of Many-valued logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Propositional calculus for contradctory deductive systems
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
International Congress on Logical Mathematic and Philosophy of Science
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
International Congress of Logic, Methodology and Philosophy of Science
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Catálogo de Pós-graduação: 2° semestre
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Catálogo de Pós-graduação: 1° semestre
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Catálogo do curso de Pós-Graduação em Lógica e Filosofia da Ciência
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A Lógica e a Matemática são idênticas?
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logic of negationless intuitionistics mathematics
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Incompleteness and truth definition
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Su una interpretazione algebricio-categoriale del silogismo
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
How I created the theory of relativity
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On structural completeness of some nonclassical predicate calculi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
The set of quantifiers of an atomic Boolean algebra
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Boolean Powers in algebric logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Calculs de descriptions pour les systèmes formels inconsistants
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sole axioms for partially ordered sets
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Measures of centrality and complexity for partial propositional calculi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Leibniziani e strutture alla luce della logica matematica
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Wroctaw: Polish Academy of Sciences
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Proceedings of the Third Brazilian Conference on Mathematical Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda